fix addDontCareActionExact

randriu · Jan 27, 2025 · 866d5b5 · 866d5b5
1 parent eb3a7a8
commit 866d5b5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/payntbind/src/synthesis/translation/choiceTransformation.cpp b/payntbind/src/synthesis/translation/choiceTransformation.cpp
@@ -624,7 +624,8 @@ template std::shared_ptr<storm::models::sparse::Model<storm::RationalNumber>> re
 template std::shared_ptr<storm::models::sparse::Model<storm::RationalNumber>> restoreActionsInAbsorbingStates<storm::RationalNumber>(
     storm::models::sparse::Model<storm::RationalNumber> const& model);
 template std::shared_ptr<storm::models::sparse::Model<storm::RationalNumber>> addDontCareAction<storm::RationalNumber>(
-    storm::models::sparse::Model<storm::RationalNumber> const& model);
+    storm::models::sparse::Model<storm::RationalNumber> const& model,
+    storm::storage::BitVector const& state_mask);
 template std::shared_ptr<storm::models::sparse::Model<storm::RationalNumber>> createModelUnion(
     std::vector<std::shared_ptr<storm::models::sparse::Model<storm::RationalNumber>>> const&
 );