Roll back previous check in as Brian has fixed the problem.

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index b9ac69bfe7d727eb9419fd33ecb8984087df7e24..f6f5df32b19299db5a4d210efb03e76dcf18ee5d 100644 (file)
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -87,7 +87,6 @@ public class SemanticCheck {
             cd.addSuperInterfaces(superif);
             cd.getMethodTable().addParentIF(superif.getMethodTable());
             cd.getFieldTable().addParentIF(superif.getFieldTable());
-            cd.getMethodTable().addParentIF(superif.getMethodTable());
           }
         }
       }