From dcd9319ba409a519de0e2744866ec29541886456 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 12 Jun 2017 12:08:54 +0200
Subject: [PATCH] fixed a convertNumber instantiation

---
 src/storm/utility/constants.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/utility/constants.cpp b/src/storm/utility/constants.cpp
index 7e0e5309c..35d79c13f 100644
--- a/src/storm/utility/constants.cpp
+++ b/src/storm/utility/constants.cpp
@@ -99,7 +99,7 @@ namespace storm {
 
         template<>
         storm::storage::sparse::state_type convertNumber(long long const& number){
-            return static_cast<double>(number);
+            return static_cast<storm::storage::sparse::state_type>(number);
         }
 
         template<typename ValueType>