From 46f57817abcfe82724cec7ac590dcb5f5c4c4c2e Mon Sep 17 00:00:00 2001 From: bdemsky Date: Fri, 5 Nov 2010 16:55:25 +0000 Subject: [PATCH] another bug fix --- Robust/src/IR/Flat/BuildCode.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java index 6813b8e6..18e878e2 100644 --- a/Robust/src/IR/Flat/BuildCode.java +++ b/Robust/src/IR/Flat/BuildCode.java @@ -4479,7 +4479,7 @@ public class BuildCode { queuetovar.setSize(queueID+1); Long l=queuetovar.get(queueID); long val=(l!=null)?l.longValue():0; - val=val|(1<