diff --git a/src/storm/storage/jani/Assignment.cpp b/src/storm/storage/jani/Assignment.cpp index 19655a132..25fa036af 100644 --- a/src/storm/storage/jani/Assignment.cpp +++ b/src/storm/storage/jani/Assignment.cpp @@ -44,7 +44,7 @@ namespace storm { return level; } - void Assignment::setLevel(int64_t level) const { + void Assignment::setLevel(int64_t level) { this->level = level; }