use
[org.ibex.classgen.git] / src / org / ibex / classgen / JSSA.java
index b01d262..f29c57f 100644 (file)
@@ -687,7 +687,7 @@ public class JSSA extends MethodGen implements CGConst {
         else prefix = "o";
         s = prefix + (nextVar++);
         bindingMap.put(e,s);
-        return "(" + s + ":= " + e._toString() + ")";
+        return "(" + s + " = " + e._toString() + ")";
     }
     
     public static void main(String[] args) throws Exception {