From 3c9363a323de4840a5e739c13dc8b52a6201d52e Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 20 Feb 2017 15:20:19 +0100
Subject: [PATCH] Fixed compile issue

---
 .../geometry/nativepolytopeconversion/HyperplaneEnumeration.cpp  | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/storage/geometry/nativepolytopeconversion/HyperplaneEnumeration.cpp b/src/storm/storage/geometry/nativepolytopeconversion/HyperplaneEnumeration.cpp
index 52dbad648..1dbca4cdf 100644
--- a/src/storm/storage/geometry/nativepolytopeconversion/HyperplaneEnumeration.cpp
+++ b/src/storm/storage/geometry/nativepolytopeconversion/HyperplaneEnumeration.cpp
@@ -113,7 +113,6 @@ namespace storm {
                     relevantMatrix = EigenMatrix();
                     relevantVector = EigenVector();
                 }
-                STORM_LOG_DEBUG("Invoked generateVerticesFromHalfspaces with " << hPoly.getMatrix().rows() << " hyperplanes and " << resultVertices.size() << " vertices and " << relevantMatrix.rows() << " relevant hyperplanes. Dimension is " << hPoly.dimension());
             }