td can be null

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index 0acbbe66a0e1c09adf136d315d9283eab500890c..d2fc664cd33f383c5dc91460bf8e0db171ebf770 100644 (file)
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -562,7 +562,7 @@ public class SemanticCheck {
   }
 
   void checkInstanceOfNode(Descriptor md, SymbolTable nametable, InstanceOfNode tn, TypeDescriptor td) {
-    if (!td.isBoolean())
+    if (td!=null&&!td.isBoolean())
       throw new Error("Expecting type "+td+"for instanceof expression");
     
     checkTypeDescriptor(tn.getExprType());