From 81db530f70f7fa2a6458c82a78354305bc06ca07 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Thu, 13 Aug 2020 11:42:46 +0200
Subject: [PATCH] do not clear moduleToIndexMap for second run

---
 src/storm-parsers/parser/PrismParser.h | 1 -
 1 file changed, 1 deletion(-)

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();