From 0843f5ea7b1396000a221e739a041aba1300a251 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 6 May 2019 11:01:59 +0200
Subject: [PATCH] PolytopeTree: Fixed documentation.

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

diff --git a/src/storm/storage/geometry/PolytopeTree.h b/src/storm/storage/geometry/PolytopeTree.h
index bf5306752..ec48defde 100644
--- a/src/storm/storage/geometry/PolytopeTree.h
+++ b/src/storm/storage/geometry/PolytopeTree.h
@@ -25,6 +25,7 @@ namespace storm {
                 
                 /*!
                  * Substracts the given rhs from this polytope.
+                 * Points that lie on the boundary of rhs might still be included.
                  */
                 void setMinus(std::shared_ptr<Polytope<ValueType>> const& rhs) {
                     // This operation only has an effect if the intersection of this and rhs is non-empty.