From ca828729ff7a2fe9748816555f2e0a1833c7db71 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 26 Oct 2018 12:50:10 +0200
Subject: [PATCH] Fixed a few warnings

---
 src/storm/generator/TransientVariableInformation.cpp | 6 +++---
 src/storm/storage/jani/ArrayEliminator.cpp           | 1 -
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/storm/generator/TransientVariableInformation.cpp b/src/storm/generator/TransientVariableInformation.cpp
index 461b43eb0..391f290cd 100644
--- a/src/storm/generator/TransientVariableInformation.cpp
+++ b/src/storm/generator/TransientVariableInformation.cpp
@@ -175,9 +175,9 @@ namespace storm {
             }
         }
         
-        template class TransientVariableInformation<double>;
-        template class TransientVariableInformation<storm::RationalNumber>;
-        template class TransientVariableInformation<storm::RationalFunction>;
+        template struct TransientVariableInformation<double>;
+        template struct TransientVariableInformation<storm::RationalNumber>;
+        template struct TransientVariableInformation<storm::RationalFunction>;
         
     }
 }
diff --git a/src/storm/storage/jani/ArrayEliminator.cpp b/src/storm/storage/jani/ArrayEliminator.cpp
index 4e5c975b0..148a7cac2 100644
--- a/src/storm/storage/jani/ArrayEliminator.cpp
+++ b/src/storm/storage/jani/ArrayEliminator.cpp
@@ -614,7 +614,6 @@ namespace storm {
                 }
                 
                 void insertLValueArrayAccessReplacements(std::vector<Assignment const*> const& arrayAccesses, std::vector<storm::jani::Variable const*> const& arrayVariableReplacements, int64_t level, std::vector<Assignment>& newAssignments) const {
-                    storm::expressions::Variable const& arrayVariable = arrayAccesses.front()->getLValue().getArray().getExpressionVariable();
                     bool onlyConstantIndices = true;
                     for (auto const& aa : arrayAccesses) {
                         if (aa->getLValue().getArrayIndex().containsVariables()) {