From 0972e1c183165e7120fd4652c1963d42735a021a Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 27 Feb 2019 20:53:09 +0100
Subject: [PATCH] Switch to MTBDD only if MTBDD engine is not already selected

---
 prism/src/prism/Prism.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 3776d1ef..b8f10076 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2953,7 +2953,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 							+ "Either switch to the explicit engine or add more action labels to the model");
 			}
 
-			if (!getExplicit() && !engineSwitch) {
+			if (!getExplicit() && !engineSwitch && getEngine() != MTBDD) {
 				// check if we need to switch to MTBDD engine
 				long n = currentModel.getNumStates();
 				if (n == -1 || n > Integer.MAX_VALUE) {