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