diff --git a/src/storm-parsers/parser/PrismParser.h b/src/storm-parsers/parser/PrismParser.h index 9153f64bd..c86e75324 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(); players.clear(); playerControlledModules.clear(); playerControlledCommands.clear();