From b83f57ebf3acd60e282e8223bd697d576423f2b0 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 8 Feb 2017 18:12:40 +0100
Subject: [PATCH] JANI assignment levels: we support index/levels other than
 zero (although most builders wont support them)

---
 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 ba0b41c2a..203d92933 100644
--- a/src/storm/storage/jani/Assignment.cpp
+++ b/src/storm/storage/jani/Assignment.cpp
@@ -9,7 +9,7 @@ namespace storm  {
     namespace jani {
         
         Assignment::Assignment(storm::jani::Variable const& variable, storm::expressions::Expression const& expression, uint64_t level) : variable(variable), expression(expression), level(level) {
-            STORM_LOG_THROW(level == 0, storm::exceptions::NotImplementedException, "Assignment levels other than 0 are currently not supported.");
+
         }
         
         bool Assignment::operator==(Assignment const& other) const {