0033040: Coding - get rid of unused headers [Storage to TopOpeBRepTool]

[occt.git] / src / TopOpeBRepDS / TopOpeBRepDS_Explorer.cxx

diff --git a/src/TopOpeBRepDS/TopOpeBRepDS_Explorer.cxx b/src/TopOpeBRepDS/TopOpeBRepDS_Explorer.cxx
index a9844fa..e55fa62 100644 (file)
--- a/src/TopOpeBRepDS/TopOpeBRepDS_Explorer.cxx
+++ b/src/TopOpeBRepDS/TopOpeBRepDS_Explorer.cxx
@@ -19,12 +19,8 @@
 
 
 #include <Standard_NoMoreObject.hxx>
-#include <Standard_NoSuchObject.hxx>
 #include <TopoDS.hxx>
-#include <TopoDS_Edge.hxx>
-#include <TopoDS_Face.hxx>
 #include <TopoDS_Shape.hxx>
-#include <TopoDS_Vertex.hxx>
 #include <TopOpeBRepDS_define.hxx>
 #include <TopOpeBRepDS_Explorer.hxx>
 #include <TopOpeBRepDS_HDataStructure.hxx>