From ada12204e19156b031c533a704f736b605404f61 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 20 Jun 2017 14:20:05 +0200
Subject: [PATCH] fixed regression that did not define undefined constants
 properly

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

diff --git a/src/storm/cli/cli.cpp b/src/storm/cli/cli.cpp
index fbe145089..c1f2cf960 100644
--- a/src/storm/cli/cli.cpp
+++ b/src/storm/cli/cli.cpp
@@ -298,7 +298,7 @@ namespace storm {
             std::map<storm::expressions::Variable, storm::expressions::Expression> constantDefinitions;
             if (output.model) {
                 constantDefinitions = output.model.get().parseConstantDefinitions(constantDefinitionString);
-                output.model.get().preprocess(constantDefinitions);
+                output.model = output.model.get().preprocess(constantDefinitions);
             }
             if (!output.properties.empty()) {
                 output.properties = storm::api::substituteConstantsInProperties(output.properties, constantDefinitions);