diff --git a/src/storm-pars-cli/storm-pars.cpp b/src/storm-pars-cli/storm-pars.cpp index f9de0c8d4..e522f0baf 100644 --- a/src/storm-pars-cli/storm-pars.cpp +++ b/src/storm-pars-cli/storm-pars.cpp @@ -173,9 +173,8 @@ namespace storm { } else { STORM_LOG_ASSERT(coreSettings.getEngine() == storm::settings::modules::CoreSettings::Engine::Dd, "Expected Dd engine."); if (generalSettings.isBisimulationSet()) { - STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Bisimulation is not supported for symbolic parametric models."); - //result.first = storm::cli::preprocessDdModelBisimulation(result.first->template as>(), input, bisimulationSettings); - //result.second = true; + result.first = storm::cli::preprocessDdModelBisimulation(result.first->template as>(), input, bisimulationSettings); + result.second = true; } } return result;