From 7e18fbf3c21f6cb811b52caa80a8b97871f08eba Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Wed, 12 Aug 2020 17:10:14 +0200 Subject: [PATCH] Fixed weird error when invoking Storm with portfolio engine and no input model. --- src/storm-cli-utilities/model-handling.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h index 31e287fed..fb02acf91 100644 --- a/src/storm-cli-utilities/model-handling.h +++ b/src/storm-cli-utilities/model-handling.h @@ -361,7 +361,6 @@ namespace storm { auto transformedJani = std::make_shared(); ModelProcessingInformation mpi = getModelProcessingInformation(output, transformedJani); - auto builderType = storm::utility::getBuilderType(mpi.engine); // Check whether conversion for PRISM to JANI is requested or necessary. if (output.model && output.model.get().isPrismProgram()) { @@ -383,7 +382,7 @@ namespace storm { } if (output.model && output.model.get().isJaniModel()) { - storm::jani::ModelFeatures supportedFeatures = storm::api::getSupportedJaniFeatures(builderType); + storm::jani::ModelFeatures supportedFeatures = storm::api::getSupportedJaniFeatures(storm::utility::getBuilderType(mpi.engine)); storm::api::simplifyJaniModel(output.model.get().asJaniModel(), output.properties, supportedFeatures); }