Fixed adding of DerivedOperators

7 years ago · 106508fcac
1 changed files with 2 additions and 0 deletions
--- a/src/storm-gspn/builder/JaniGSPNBuilder.cpp
+++ b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
@ -22,6 +22,8 @@ namespace storm {
            addEdges(mainAutomaton, locId);
            model->addAutomaton(mainAutomaton);
            model->setStandardSystemComposition();
+            model->getModelFeatures().add(storm::jani::ModelFeature::DerivedOperators);
+            model->finalize();
            return model;
        }