Taddeus Kroes пре 12 година
родитељ
комит
ed05e0566d
2 измењених фајлова са 3 додато и 3 уклоњено
  1. 1 1
      phases/extern.mli
  2. 2 2
      phases/unroll.mli

+ 1 - 1
phases/extern.mli

@@ -45,7 +45,7 @@ export void bar$1$set(int new_value) \{
 \}
 
 export int bar$1$get() \{
-  return bar$1;
+    return bar$1;
 \} v}
 
 

+ 2 - 2
phases/unroll.mli

@@ -59,9 +59,9 @@
 
 {v extern void printInt(int val);
 export int main() \{
-    for (int i = 0, 10, 2)
+    for (int i = 0, 10, 2) \{
         printInt(i);
-
+    \}
     return 0;
 \} v}