From 53f9c16531fe921289b231ae175eda12fca41ee3 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 6 Apr 2011 23:33:51 +0000
Subject: [PATCH] D2 bug

---
 Robust/src/Analysis/Pointer/BasicBlock.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/Pointer/BasicBlock.java b/Robust/src/Analysis/Pointer/BasicBlock.java
index 6e78ce62..c7f03a82 100644
--- a/Robust/src/Analysis/Pointer/BasicBlock.java
+++ b/Robust/src/Analysis/Pointer/BasicBlock.java
@@ -86,7 +86,7 @@ public class BasicBlock {
 	  break;
 	}
 	fn=pm.getNext(fn,0);
-	if (fn.numPrev()>1) {
+	if (pm.numPrev(fn)>1) {
 	  //new basic block
 	  if (!map.containsKey(fn)) {
 	    BBlock newb=new BBlock();
-- 
2.34.1