fixed

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 6359abda2cb7b24496e3cc9ef1418537d629336a..7a001e29f44588f2a12998a795246072b155ad77 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -3439,7 +3439,7 @@ public class BuildCode {
       return true;
     for(Iterator classit=subclasses.iterator(); classit.hasNext();) {
       ClassDescriptor cd=(ClassDescriptor)classit.next();
-      Set possiblematches=cd.getMethodTable().getSet(md.getSymbol());
+      Set possiblematches=cd.getMethodTable().getSetFromSameScope(md.getSymbol());
       for(Iterator matchit=possiblematches.iterator(); matchit.hasNext();) {
        MethodDescriptor matchmd=(MethodDescriptor)matchit.next();
        if (md.matches(matchmd))