Merge branch 'keep-module-index-map-in-parsing' into game_formula_parsing

4 years ago · 2fb1f36fda
1 changed files with 0 additions and 1 deletions
--- a/src/storm-parsers/parser/PrismParser.h
+++ b/src/storm-parsers/parser/PrismParser.h
@ -37,7 +37,6 @@ namespace storm {
                formulas.clear();
                globalBooleanVariables.clear();
                globalIntegerVariables.clear();
-                moduleToIndexMap.clear();
                players.clear();
                playerControlledModules.clear();
                playerControlledCommands.clear();