model building: Fixed correctly setting the number of reserved bits for unbounded state variables from the cli option

5 years ago · e9ab8e65d4
1 changed files with 1 additions and 1 deletions
--- 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()) {