From fab5adb275e507443c92b83120e193ade56c025c Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 6 May 2019 10:58:05 +0200
Subject: [PATCH] NativePolytope: Improved clean() operation on empty
 polytopes.

---
 src/storm/storage/geometry/NativePolytope.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm/storage/geometry/NativePolytope.cpp b/src/storm/storage/geometry/NativePolytope.cpp
index 4e634f20a..f90fadb73 100644
--- a/src/storm/storage/geometry/NativePolytope.cpp
+++ b/src/storm/storage/geometry/NativePolytope.cpp
@@ -400,6 +400,9 @@ namespace storm {
             
             template <typename ValueType>
             std::shared_ptr<Polytope<ValueType>> NativePolytope<ValueType>::clean() {
+                if (isEmpty()) {
+                    return create(boost::none, {});
+                }
                 return create(boost::none, getVertices());
             }