Fix a bug in the compiler: besides its super class's method table, a class's methods...

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