From 47af83f48565cf03d4e1a4c9b692b92beab8efcf Mon Sep 17 00:00:00 2001 From: brian Date: Mon, 4 Jul 2005 00:40:58 +0000 Subject: [PATCH] use darcs-hash:20050704004058-24bed-73c1e1c6d01048a29f76bf86fc518e659c99e789.gz --- src/org/ibex/classgen/JSSA.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/org/ibex/classgen/JSSA.java b/src/org/ibex/classgen/JSSA.java index b01d262..f29c57f 100644 --- a/src/org/ibex/classgen/JSSA.java +++ b/src/org/ibex/classgen/JSSA.java @@ -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 { -- 1.7.10.4