From c72b97dfca57271fea8991430c81e77f2bd5a016 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 26 Apr 2019 15:58:54 +0200
Subject: [PATCH] Cleared unused variable warning.

---
 src/storm/storage/geometry/Polytope.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/storage/geometry/Polytope.cpp b/src/storm/storage/geometry/Polytope.cpp
index 1839e636f..3db106719 100644
--- a/src/storm/storage/geometry/Polytope.cpp
+++ b/src/storm/storage/geometry/Polytope.cpp
@@ -66,7 +66,6 @@ namespace storm {
                     return create(points);
                 }
                 assert(points.front().size() == selectedDimensions.size());
-                uint64_t dimensions = selectedDimensions.size();
                 
                 std::vector<Halfspace<ValueType>> halfspaces;
                 // We build the convex hull of the given points.