From 48de392b428ef179c0fa80035742b4389dafdd5f Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 11 Sep 2009 05:54:01 +0000
Subject: [PATCH] fixed

---
 Robust/src/IR/Flat/BuildCode.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 6359abda..7a001e29 100644
--- 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))
-- 
2.34.1