allow & operation on boolean

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index 045961a68ee837d98322ddb79a2ea99a348480c4..d8c5d5304191684a00c668c0ffd91ebbeb364f9a 100644 (file)
--- 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;