test speculative

TiarkRompf · TiarkRompf · commit 73a43fbea0ed · 2015-08-15T20:01:45.000+02:00
diff --git a/test-out/epfl/test8-speculative3b.check b/test-out/epfl/test8-speculative3b.check
@@ -14,7 +14,7 @@ x39
 }) {
 // dummy placeholder for previous iteration: List(Sym(41), Sym(43)) = Sym(4) / List(Sym(3), Sym(58))
 val x45 = x3
-val x48 = x45+1.0
+val x48 = x45 + 1.0
 x3 = x48
 val x44 = println(7)
 val x46 = println(x45)
