D2 bug

diff --git a/Robust/src/Analysis/Pointer/BasicBlock.java b/Robust/src/Analysis/Pointer/BasicBlock.java
index 6e78ce623451c7c45174e65540f9c0806df5b57d..c7f03a82e581926c82125f6fada024e2162b1f36 100644 (file)
--- 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();