From 3bf3297111d68be64bd8048b56ba710451d5b6ec Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Thu, 21 Jul 2011 01:18:16 +0000
Subject: [PATCH] fix a bug: there was no case for unsigned shift op.

---
 Robust/src/IR/AssignOperation.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Robust/src/IR/AssignOperation.java b/Robust/src/IR/AssignOperation.java
index e4e79c21..2d6e7d5f 100644
--- a/Robust/src/IR/AssignOperation.java
+++ b/Robust/src/IR/AssignOperation.java
@@ -137,7 +137,10 @@ public class AssignOperation {
       return "postinc";
     else if (operation==POSTDEC)
       return "postdec";
-    else throw new Error();
+    else if ( operation==URSHIFTEQ)
+      return ">>>=";
+    else 
+      throw new Error();    
   }
 
 
-- 
2.34.1