From 71f2bb389fb36cb6c3a9c5da1cb87ae72b0e64ba Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 6 Jun 2016 09:35:40 +0000
Subject: [PATCH] DebugJDD: fix variable name typo

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

diff --git a/prism/src/jdd/DebugJDD.java b/prism/src/jdd/DebugJDD.java
index c8e16d5c..f9bb7edb 100644
--- a/prism/src/jdd/DebugJDD.java
+++ b/prism/src/jdd/DebugJDD.java
@@ -307,23 +307,23 @@ public class DebugJDD
 		for (Entry<Long, Integer> extRef : externalRefCounts.entrySet()) {
 			long ptr = extRef.getKey();
 			List<DebugJDDNode> matchingNodes = new ArrayList<DebugJDDNode>();
-			List<DebugJDDNode> posRewNodes = new ArrayList<DebugJDDNode>();
+			List<DebugJDDNode> posRefNodes = new ArrayList<DebugJDDNode>();
 			for (DebugJDDNode node : nodes.values()) {
 				if (node.ptr() == ptr) {
 					// node matches
 					matchingNodes.add(node);
 					// node still has positive reference count
 					if (node.getNodeRefs() > 0) {
-						posRewNodes.add(node);
+						posRefNodes.add(node);
 					}
 				}
 			}
 
 			System.out.println("DdNode ptr=0x" + Long.toHexString(ptr)
 			                   + ", " + nodeInfo(ptr) + " has " + extRef.getValue() + " remaining external references.");
-			if (posRewNodes.size() > 0) {
+			if (posRefNodes.size() > 0) {
 				System.out.println(" Candidates:");
-				for (DebugJDDNode node : posRewNodes) {
+				for (DebugJDDNode node : posRefNodes) {
 					System.out.println("  ID=" + node.getID() + " with " + node.getNodeRefs() + " references  (" + node.toStringVerbose() + ")");
 				}
 			} else {