From 2221cb99d471eb14091c60ab140904a4465208dc Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 23 Jun 2017 14:01:55 +0000
Subject: [PATCH] ExplicitFiles2MTBDD: fix missing JDDNode copy

When using the init label DD for the actual start state, need to copy.
Otherwise the ref count will be too low.


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

diff --git a/prism/src/prism/ExplicitFiles2MTBDD.java b/prism/src/prism/ExplicitFiles2MTBDD.java
index 8d8e290f..fa8779c1 100644
--- a/prism/src/prism/ExplicitFiles2MTBDD.java
+++ b/prism/src/prism/ExplicitFiles2MTBDD.java
@@ -673,7 +673,7 @@ public class ExplicitFiles2MTBDD
 		}
 		// Otherwise, construct from the labels
 		else {
-			start = labelsDD.get("init");
+			start = labelsDD.get("init").copy();
 			if (start == null || start.equals(JDD.ZERO)) {
 				throw new PrismException("No initial states found in labels file");
 			}