diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h index 4db5adbed..996d1fdc1 100644 --- a/src/storm-cli-utilities/model-handling.h +++ b/src/storm-cli-utilities/model-handling.h @@ -359,7 +359,7 @@ namespace storm { auto generalSettings = storm::settings::getModule(); auto bisimulationSettings = storm::settings::getModule(); auto ioSettings = storm::settings::getModule(); - + auto transformationSettings = storm::settings::getModule(); std::pair>, bool> result = std::make_pair(model, false);