Merge branch 'master' of newgeom:newgeom

[modules/shaper.git] / src / FeaturesPlugin / FeaturesPlugin_Extrusion.h

diff --git a/src/FeaturesPlugin/FeaturesPlugin_Extrusion.h b/src/FeaturesPlugin/FeaturesPlugin_Extrusion.h
index d136c84915156754b490365fc715d73ad09d2d91..c6c500fe211a9caaab4ddbd2f1b6852f9a81db32 100644 (file)
--- a/src/FeaturesPlugin/FeaturesPlugin_Extrusion.h
+++ b/src/FeaturesPlugin/FeaturesPlugin_Extrusion.h
@@ -9,6 +9,7 @@
 #include <ModelAPI_Feature.h>
 #include <ModelAPI_ResultBody.h>
 #include <GeomAlgoAPI_Extrusion.h>
+#include <GeomAPI_Shape.h>
 class FeaturesPlugin_Extrusion : public ModelAPI_Feature
 {
  public: