diff --git a/src/storm/api/bisimulation.h b/src/storm/api/bisimulation.h index dc7181e87..40391be2b 100644 --- a/src/storm/api/bisimulation.h +++ b/src/storm/api/bisimulation.h @@ -27,7 +27,7 @@ namespace storm { template std::shared_ptr performNondeterministicSparseBisimulationMinimization(std::shared_ptr model, std::vector> const& formulas, storm::storage::BisimulationType type) { - typename storm::storage::DeterministicModelBisimulationDecomposition::Options options; + typename storm::storage::NondeterministicModelBisimulationDecomposition::Options options; if (!formulas.empty()) { options = typename storm::storage::NondeterministicModelBisimulationDecomposition::Options(*model, formulas); }