Improvement of extrusion functionality

[modules/smesh.git] / src / SMDS / SMDS_MeshIDFactory.hxx

diff --git a/src/SMDS/SMDS_MeshIDFactory.hxx b/src/SMDS/SMDS_MeshIDFactory.hxx
index 76ac5ee91f903b85a74ee9ef414c5d78d1dcd3b4..8a6425ac2512b4b8023e2df34afb7d2286a78b88 100644 (file)
--- a/src/SMDS/SMDS_MeshIDFactory.hxx
+++ b/src/SMDS/SMDS_MeshIDFactory.hxx
@@ -28,8 +28,8 @@
 #define _SMDS_MeshIDFactory_HeaderFile
 
 #include "SMDS_MeshObject.hxx"
-#include <stack>
-using namespace std;
+#include <set>
+
 
 class SMDS_MeshIDFactory:public SMDS_MeshObject
 {
@@ -40,7 +40,7 @@ class SMDS_MeshIDFactory:public SMDS_MeshObject
   protected:
        SMDS_MeshIDFactory();
        int myMaxID;
-       stack<int> myPoolOfID;
+       std::set<int> myPoolOfID;
 };
 
 #endif