From 970b72786c56a49abf300f51ab2a6e748d8441be Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Tue, 18 Apr 2017 20:00:21 +0200
Subject: [PATCH] disable level simplification for now

---
 src/storm/storage/jani/Automaton.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm/storage/jani/Automaton.cpp b/src/storm/storage/jani/Automaton.cpp
index 23d27cc6a..88641c318 100644
--- a/src/storm/storage/jani/Automaton.cpp
+++ b/src/storm/storage/jani/Automaton.cpp
@@ -445,7 +445,7 @@ namespace storm {
         }
         
         void Automaton::finalize(Model const& containingModel) {
-            simplifyIndexedAssignments();
+            //simplifyIndexedAssignments();
             templateEdges.clear();
             for (auto& edge : edges) {
                 templateEdges.insert(edge.getTemplateEdge());
@@ -500,6 +500,7 @@ namespace storm {
         }
 
         void Automaton::simplifyIndexedAssignments() {
+            // TODO has to be fixed.
             for (auto& edge : edges) {
                 edge.simplifyIndexedAssignments(variables);
             }