From e2cb68b31f2338135e0b001fcd576a10053d9c5f Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 7 Sep 2018 13:59:49 +0200
Subject: [PATCH] Enable array elimination in jit builder

---
 src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
index 245e9d54d..9a7042d81 100644
--- a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
+++ b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp
@@ -107,6 +107,10 @@ namespace storm {
                     transientVariables.insert(variable.getExpressionVariable());
                 }
                 
+                if (this->model.containsArrayVariables()) {
+                     this->model.eliminateArrays();
+                }
+                
                 // Construct vector of the automata to be put in parallel.
                 storm::jani::Composition const& topLevelComposition = this->model.getSystemComposition();
                 if (topLevelComposition.isAutomatonComposition()) {