From 84c957ba2e04b8b65061037f4e5f7aa4c124fd07 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 20 May 2009 15:25:35 +0000
Subject: [PATCH] JDD bug fix (again - oops).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1078 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 2b22b1b5..3748cf8f 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);
-		if (arraybuilt) DDV_FreeArray(array);
+		if (arrayBuilt) DDV_FreeArray(array);
 		arrayBuilt = false;
 	}
 	
@@ -68,7 +68,7 @@ public class JDDVars
 		int i;
 		
 		vars.addAll(ddv.vars);
-		if (arraybuilt) DDV_FreeArray(array);
+		if (arrayBuilt) DDV_FreeArray(array);
 		arrayBuilt = false;
 	}
 	
@@ -77,7 +77,7 @@ public class JDDVars
 		int i;
 		
 		vars.removeAll(ddv.vars);
-		if (arraybuilt) DDV_FreeArray(array);
+		if (arrayBuilt) DDV_FreeArray(array);
 		arrayBuilt = false;
 	}