From abfa23c4de6c843c3eb33b19ee687faf105c5fc8 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Tue, 14 Jun 2016 14:30:18 +0200
Subject: [PATCH] missing override
Former-commit-id: 414c7ed0ed80c595ef0f491399ff7d8fecc73956
---
src/storage/geometry/HyproPolytope.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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<Polytope<ValueType>> linearTransformation(std::vector<Point> const& matrix, Point const& vector) const;
+ virtual std::shared_ptr<Polytope<ValueType>> linearTransformation(std::vector<Point> 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.