From 6644f2f482e46038ce66fb85a4bc58f0000c788b Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 5 Nov 2016 15:04:07 +0100
Subject: [PATCH] changing level of assignment to signed int

Former-commit-id: 59f53da1dedac1a0b72f7718606c14bf9940ad0b [formerly e0742f0a16443b67d99ba792d240320864a6eb4e]
Former-commit-id: 355edf6c56b3cc4630488ce91191f57bdf02268f
---
 src/storage/jani/Assignment.cpp | 2 +-
 src/storage/jani/Assignment.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storage/jani/Assignment.cpp b/src/storage/jani/Assignment.cpp
index cbbd45ba7..e553c710c 100644
--- a/src/storage/jani/Assignment.cpp
+++ b/src/storage/jani/Assignment.cpp
@@ -38,7 +38,7 @@ namespace storm  {
             this->setAssignedExpression(this->getAssignedExpression().substitute(substitution));
         }
         
-        uint64_t Assignment::getLevel() const {
+        int64_t Assignment::getLevel() const {
             return level;
         }
         
diff --git a/src/storage/jani/Assignment.h b/src/storage/jani/Assignment.h
index 7886a5b5b..2da97d3a1 100644
--- a/src/storage/jani/Assignment.h
+++ b/src/storage/jani/Assignment.h
@@ -50,7 +50,7 @@ namespace storm {
             /*!
              * Retrieves the level of the assignment.
              */
-            uint64_t getLevel() const;
+            int64_t getLevel() const;
             
             friend std::ostream& operator<<(std::ostream& stream, Assignment const& assignment);