Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm

6 years ago · 4adcc5c8a5
1 changed files with 2 additions and 2 deletions
--- a/src/storm-parsers/parser/JaniParser.cpp
+++ b/src/storm-parsers/parser/JaniParser.cpp
@ -842,9 +842,9 @@ namespace storm {
                            }
                        } else {
                            if (type.bounds) {
-                                return std::make_shared<storm::jani::UnboundedIntegerVariable>(name, expressionManager->declareIntegerVariable(exprManagerName), initVal.get(), transientVar);
-                            } else {
                                return storm::jani::makeBoundedIntegerVariable(name, expressionManager->declareIntegerVariable(exprManagerName), boost::none, false, type.bounds->first, type.bounds->second);
+                            } else {
+                                return std::make_shared<storm::jani::UnboundedIntegerVariable>(name, expressionManager->declareIntegerVariable(exprManagerName));
                            }
                        }
                        break;