Issue #2023: Crash during a rotation after an intersection

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

diff --git a/src/FeaturesPlugin/FeaturesPlugin_Tools.h b/src/FeaturesPlugin/FeaturesPlugin_Tools.h
index c6cd120dbd4642282ce3a6509915834323160333..3ba38561eae6466dc25138c0022fea514d04bcb8 100644 (file)
--- a/src/FeaturesPlugin/FeaturesPlugin_Tools.h
+++ b/src/FeaturesPlugin/FeaturesPlugin_Tools.h
@@ -16,7 +16,9 @@ public:
   static void storeModifiedShapes(GeomAlgoAPI_MakeShape& theAlgo,
                                   std::shared_ptr<ModelAPI_ResultBody> theResultBody,
                                   std::shared_ptr<GeomAPI_Shape> theBaseShape,
-                                  int& theTag,
+                                  const int theFaceTag,
+                                  const int theEdgeTag,
+                                  const int theVertexTag,
                                   const std::string theName,
                                   GeomAPI_DataMapOfShapeShape& theSubShapes);
 };