do not clear moduleToIndexMap for second run

4 years ago · e0a71f331c
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();
                modules.clear();
                rewardModels.clear();
                labels.clear();