From a7efdff3cae5b1e8a3755446634edd4e35d71407 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 13 Sep 2016 10:40:26 +0000
Subject: [PATCH] Ignore "deadlock" label when loading from explicit files into
 symbolic engines (consistent with recent update to explicit engine import).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11809 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ExplicitFiles2MTBDD.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/ExplicitFiles2MTBDD.java b/prism/src/prism/ExplicitFiles2MTBDD.java
index 50a54bdd..936ac088 100644
--- a/prism/src/prism/ExplicitFiles2MTBDD.java
+++ b/prism/src/prism/ExplicitFiles2MTBDD.java
@@ -297,7 +297,7 @@ public class ExplicitFiles2MTBDD
 		// find any deadlocks
 		model.findDeadlocks(prism.getFixDeadlocks());
 
-		// attach labels (might overwrite deadlock state information)
+		// attach labels
 		attachLabels(model);
 
 		// deref spare dds
@@ -735,6 +735,10 @@ public class ExplicitFiles2MTBDD
 				// handled in buildInit()
 				continue;
 			}
+			if (e.equals("deadlock")) {
+				// ignored (info is recomputed)
+				continue;
+			}
 			model.addLabelDD(e.getKey(), e.getValue().copy());
 		}
 	}