From 0e39975748fef280d8db8919503ee901c52d6b6e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 17 Feb 2009 23:41:59 +0000
Subject: [PATCH] td can be null

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

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index 0acbbe66..d2fc664c 100644
--- 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());
-- 
2.34.1