From 16366e941dadb6f1f44c880614337a2b27f3dfd4 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 3 Dec 2014 16:37:59 +0100
Subject: [PATCH] Fixed wrong call to bisimulation computation.

Former-commit-id: 8d061dba197863ceadbe80df198bc4d7bb6f791c
---
 src/stormParametric.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/stormParametric.cpp b/src/stormParametric.cpp
index 1e550e6ad..4d9272203 100644
--- a/src/stormParametric.cpp
+++ b/src/stormParametric.cpp
@@ -181,7 +181,7 @@ int main(const int argc, const char** argv) {
             STORM_LOG_THROW(phiStateFormulaApFormula.get() != nullptr, storm::exceptions::InvalidPropertyException, "Illegal formula " << *phiStateFormula << " for parametric model checking. Note that only atomic propositions are admitted in that position.");
             STORM_LOG_THROW(psiStateFormulaApFormula.get() != nullptr, storm::exceptions::InvalidPropertyException, "Illegal formula " << *psiStateFormula << " for parametric model checking. Note that only atomic propositions are admitted in that position.");
             
-            storm::storage::DeterministicModelBisimulationDecomposition<storm::RationalFunction> bisimulationDecomposition(*dtmc, phiStateFormulaApFormula->getAp(), psiStateFormulaApFormula->getAp(), storm::settings::bisimulationSettings().isWeakBisimulationSet(), false, true);
+            storm::storage::DeterministicModelBisimulationDecomposition<storm::RationalFunction> bisimulationDecomposition(*dtmc, phiStateFormulaApFormula->getAp(), psiStateFormulaApFormula->getAp(), true, storm::settings::bisimulationSettings().isWeakBisimulationSet(), false, true);
             dtmc = bisimulationDecomposition.getQuotient()->as<storm::models::Dtmc<storm::RationalFunction>>();
             
             dtmc->printModelInformationToStream(std::cout);