From aa6fd3cbb26ca8d0dd3382a7e5a734190372f061 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 18 Sep 2018 22:45:26 +0200
Subject: [PATCH] fixed compilation of storm-conv
---
src/storm-conv-cli/storm-conv.cpp | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/src/storm-conv-cli/storm-conv.cpp b/src/storm-conv-cli/storm-conv.cpp
index 0227e9044..4bed40567 100644
--- a/src/storm-conv-cli/storm-conv.cpp
+++ b/src/storm-conv-cli/storm-conv.cpp
@@ -191,15 +191,17 @@ namespace storm {
}
}
+ storm::storage::SymbolicModelDescription symbDescr(janiModelProperties.first);
+
// Substitute constant definitions in model and properties.
std::string constantDefinitionString = input.getConstantDefinitionString();
- auto constantDefinitions = janiModelProperties.first.parseConstantDefinitions(constantDefinitionString);
- auto janiModel = janiModelProperties.first..defineUndefinedConstants(constantDefinitions).substituteConstants();
+ auto constantDefinitions = symbDescr.parseConstantDefinitions(constantDefinitionString);
+ auto janiModel = janiModelProperties.first.defineUndefinedConstants(constantDefinitions).substituteConstants();
if (!properties.empty()) {
properties = storm::api::substituteConstantsInProperties(properties, constantDefinitions);
}
-
// Branch on the type of output
+
auto const& output = storm::settings::getModule<storm::settings::modules::ConversionOutputSettings>();
if (output.isJaniOutputSet()) {
processJaniInputJaniOutput(janiModel, properties);