added some more class support

[IRC.git] / Robust / src / Analysis / Prefetch / PrefetchAnalysis.java

diff --git a/Robust/src/Analysis/Prefetch/PrefetchAnalysis.java b/Robust/src/Analysis/Prefetch/PrefetchAnalysis.java
index 3e06eb5d33058edfcb9040bdc9c4cd462bdd13da..b7f9c6a2b5f49235a448b1c267dd5f9a3604b743 100644 (file)
--- a/Robust/src/Analysis/Prefetch/PrefetchAnalysis.java
+++ b/Robust/src/Analysis/Prefetch/PrefetchAnalysis.java
@@ -112,6 +112,7 @@ public class PrefetchAnalysis {
       case FKind.FlatNew:
       case FKind.FlatCastNode:
       case FKind.FlatTagDeclaration:
+      case FKind.FlatInstanceOfNode:
        processDefaultCase(curr,child_prefetch_set_copy);
        break;