From 04bd6715b4ee2ec1bbe49cdc9f18e721223fb440 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 12 Oct 2018 14:26:22 +0200 Subject: [PATCH] imported patch symb-MET-LTLModelChecker-rabin-no-darowcol.patch --- prism/src/prism/LTLModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/LTLModelChecker.java b/prism/src/prism/LTLModelChecker.java index 0a9e5969..8a82b3fd 100644 --- a/prism/src/prism/LTLModelChecker.java +++ b/prism/src/prism/LTLModelChecker.java @@ -1132,7 +1132,7 @@ public class LTLModelChecker extends PrismComponent case BUCHI: return findAcceptingECStatesForBuchi((AcceptanceBuchiDD) acceptance, model, fairness); case RABIN: - return findAcceptingECStatesForRabin((AcceptanceRabinDD) acceptance, model, daDDRowVars, daDDColVars, fairness); + return findAcceptingECStatesForRabin((AcceptanceRabinDD) acceptance, model, null, null, fairness); case GENERALIZED_RABIN: return findAcceptingECStatesForGeneralizedRabin((AcceptanceGenRabinDD) acceptance, model, daDDRowVars, daDDColVars, fairness); case STREETT: