From df2833146582d8cf7eed7706efcfa32fd2697989 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 7 May 2019 18:34:52 +0200
Subject: [PATCH] PolytopeTree: Fixed application of convex union.

---
 src/storm/storage/geometry/PolytopeTree.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/geometry/PolytopeTree.h b/src/storm/storage/geometry/PolytopeTree.h
index ec48defde..54ddb23d9 100644
--- a/src/storm/storage/geometry/PolytopeTree.h
+++ b/src/storm/storage/geometry/PolytopeTree.h
@@ -55,7 +55,7 @@ namespace storm {
                                 if (c.polytope != nullptr) {
                                     newChildren.push_back(c);
                                     if (newPolytope) {
-                                        newPolytope->convexUnion(c.polytope);
+                                        newPolytope = newPolytope->convexUnion(c.polytope);
                                     } else {
                                         newPolytope = c.polytope;
                                     }