add toString for isavailable

diff --git a/Robust/src/IR/Operation.java b/Robust/src/IR/Operation.java
index 9328fac08036d75821d6a778c00c268485250e4e..7793a2abddf48e4b58f99c1d30bc37e1a2ee8231 100644 (file)
--- a/Robust/src/IR/Operation.java
+++ b/Robust/src/IR/Operation.java
@@ -101,7 +101,7 @@ public class Operation {
     else if (st.equals("comp"))
       return COMP;
     else
-      throw new Error();
+      throw new Error(st);
   }
 
   public String toString() {
@@ -161,7 +161,9 @@ public class Operation {
       return "predec";
     else if (operation==ASSIGN)
       return "assign";
-    else throw new Error();
+    else if (operation==ISAVAILABLE)
+      return "isavailable";
+    else throw new Error("op="+operation);
   }