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> halfspaces; // We build the convex hull of the given points.