From b2f43eff9158d972db428af4ab1ad5bc39141b19 Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Mon, 27 Jun 2011 18:24:14 +0000
Subject: [PATCH] Fix a bug in the compiler: besides its super class's method
 table, a class's methods table should also take into account its super
 interfaces' method table.

---
 Robust/src/IR/Tree/SemanticCheck.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index f6f5df32..b9ac69bf 100644
--- 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());
           }
         }
       }
-- 
2.34.1