From 823fd3d3728daaedb7ef5a9e34cfa0d1b99871c2 Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Fri, 6 Feb 2009 01:21:10 +0000
Subject: [PATCH] allow & operation on boolean

---
 Robust/src/IR/Tree/SemanticCheck.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index 045961a6..d8c5d530 100644
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -861,6 +861,9 @@ NextMethod:
 	throw new Error();
       else if (ltd.isLong()||rtd.isLong())
 	lefttype=new TypeDescriptor(TypeDescriptor.LONG);
+      // 090205 hack for boolean
+      else if (ltd.isBoolean()||rtd.isBoolean())
+		lefttype=new TypeDescriptor(TypeDescriptor.BOOLEAN);
       else
 	lefttype=new TypeDescriptor(TypeDescriptor.INT);
       righttype=lefttype;
-- 
2.34.1