PolytopeTree: Fixed application of convex union.

6 years ago · df28331465
1 changed files with 1 additions and 1 deletions
--- 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;
                                    }