fix (set level should not be const)

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