bug fix

diff --git a/Robust/src/IR/ClassDescriptor.java b/Robust/src/IR/ClassDescriptor.java
index 8a8ca629bb4010b57f8b068f6d2ab2614aa73a64..24b5448f4c4580dec6816018eff714afd1f4ea6b 100644 (file)
--- a/Robust/src/IR/ClassDescriptor.java
+++ b/Robust/src/IR/ClassDescriptor.java
@@ -199,10 +199,10 @@ public class ClassDescriptor extends Descriptor {
       if (cn==null) {
        return null;
       }
-      Set possiblematches=cn.getMethodTable().getSet(md.getSymbol());
-      boolean foundmatch=false;
+      Set possiblematches=cn.getMethodTable().getSetFromSameScope(md.getSymbol());
       for(Iterator matchit=possiblematches.iterator(); matchit.hasNext();) {
        MethodDescriptor matchmd=(MethodDescriptor)matchit.next();
+       
        if (md.matches(matchmd)) {
          return matchmd;
        }