diff --git a/src/storm-parsers/parser/PrismParser.h b/src/storm-parsers/parser/PrismParser.h index 2668dcb68..d7105acc4 100644 --- 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();