test transform rec

TiarkRompf · TiarkRompf · commit a4e05906e4f2 · 2015-08-15T22:04:29.000+02:00
diff --git a/test-out/epfl/test10-transformrec3.check b/test-out/epfl/test10-transformrec3.check
@@ -12,7 +12,7 @@ val x10 = if (x3) {
 1.0
 } else {
 val x8 = x4(x2)
-val x9 = x2*x8
+val x9 = x2 * x8
 x9
 }
 x10
