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; }