test mutation 7

TiarkRompf · TiarkRompf · commit ec724069f4db · 2015-08-15T21:52:58.000+02:00
diff --git a/test-out/epfl/test8-mutation7.check b/test-out/epfl/test8-mutation7.check
@@ -8,14 +8,14 @@ val x9 = while ({val x2 = x1
 val x3 = x2 < x0
 x3}) {
 val x5 = x1
-val x6 = x5+1.0
+val x6 = x5 + 1.0
 x1 = x6
 ()
 }
 val x10 = x1
 val x11 = x10 < x0
 val x14 = if (x11) {
-x1 = 8
+x1 = 8.0
 ()
 } else {
 ()
