From e9ab8e65d42316ec5b1eda2e5239430ca3ee9785 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 4 Jun 2020 14:51:25 +0200
Subject: [PATCH] model building: Fixed correctly setting the number of
 reserved bits for unbounded state variables from the cli option

---
 src/storm-cli-utilities/model-handling.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h
index e25fd53cd..f413951c9 100644
--- a/src/storm-cli-utilities/model-handling.h
+++ b/src/storm-cli-utilities/model-handling.h
@@ -444,7 +444,7 @@ namespace storm {
             if (buildSettings.isExplorationChecksSet()) {
                 options.setExplorationChecks();
             }
-            options.setReservedBitsForUnboundedVariables(options.getReservedBitsForUnboundedVariables());
+            options.setReservedBitsForUnboundedVariables(buildSettings.getBitsForUnboundedVariables());
 
             options.setAddOutOfBoundsState(buildSettings.isBuildOutOfBoundsStateSet());
             if (buildSettings.isBuildFullModelSet()) {