diff --git a/src/storage/geometry/HyproPolytope.h b/src/storage/geometry/HyproPolytope.h index 5cfc73c9d..9de16fae8 100644 --- a/src/storage/geometry/HyproPolytope.h +++ b/src/storage/geometry/HyproPolytope.h @@ -104,7 +104,7 @@ namespace storm { * @param matrix the transformation matrix, given as vector of rows * @param vector the transformation offset */ - virtual std::shared_ptr> linearTransformation(std::vector const& matrix, Point const& vector) const; + virtual std::shared_ptr> linearTransformation(std::vector const& matrix, Point const& vector) const override; /*! * Returns the downward closure of this, i.e., the set { x | ex. y \in P : x<=y} where P is this Polytope.