// Alternatively, this file may be used under the terms of Open CASCADE
// commercial license or contractual agreement.
-#include <TopOpeBRepDS_DSS.ixx>
+
+#include <TopoDS_Shape.hxx>
+#include <TopOpeBRepDS_DSS.hxx>
+#include <TopOpeBRepDS_Interference.hxx>