From 57453624410fe9224a80b018ba50f070588c3e9e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 20 May 2009 15:24:53 +0000
Subject: [PATCH] JDD bug fix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1077 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jdd/JDDVars.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java
index bd04bfe3..2b22b1b5 100644
--- a/prism/src/jdd/JDDVars.java
+++ b/prism/src/jdd/JDDVars.java
@@ -59,7 +59,7 @@ public class JDDVars
 	public void addVar(JDDNode var)
 	{
 		vars.addElement(var);
-		DDV_FreeArray(array);
+		if (arraybuilt) DDV_FreeArray(array);
 		arrayBuilt = false;
 	}
 	
@@ -68,7 +68,7 @@ public class JDDVars
 		int i;
 		
 		vars.addAll(ddv.vars);
-		DDV_FreeArray(array);
+		if (arraybuilt) DDV_FreeArray(array);
 		arrayBuilt = false;
 	}
 	
@@ -77,7 +77,7 @@ public class JDDVars
 		int i;
 		
 		vars.removeAll(ddv.vars);
-		DDV_FreeArray(array);
+		if (arraybuilt) DDV_FreeArray(array);
 		arrayBuilt = false;
 	}