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