edit error message

diff --git a/Robust/src/Analysis/Locality/LocalityAnalysis.java b/Robust/src/Analysis/Locality/LocalityAnalysis.java
index 56c23f616b52e76b0b9957f21e48a138895cc21b..f3ec879900fb8684d475b909460368c358ce97dc 100644 (file)
--- a/Robust/src/Analysis/Locality/LocalityAnalysis.java
+++ b/Robust/src/Analysis/Locality/LocalityAnalysis.java
@@ -358,12 +358,14 @@ public class LocalityAnalysis {
 
       case FKind.FlatMethod:
 
+      case FKind.FlatInstanceOfNode:
+
       case FKind.FlatOffsetNode:
        processOffsetNode((FlatOffsetNode)fn, currtable);
        break;
 
       default:
-       throw new Error();
+       throw new Error("In finding fn.kind()= " + fn.kind());
       }
       Hashtable<TempDescriptor,Integer> oldtable=temptable.get(fn);
       if (oldtable==null||!oldtable.equals(currtable)) {