From fcdce6dc4e86299443dd001c1fe3a2420d7d55fd Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 10 Feb 2017 22:40:54 +0100
Subject: [PATCH] fix (set level should not be const)

---
 src/storm/storage/jani/Assignment.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
         }