imported patch symb-MET-LTLModelChecker-rabin-no-darowcol.patch

7 years ago · 2e0d123a68
1 changed files with 1 additions and 1 deletions
--- 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: