fix tests

anoma · Oct 23, 2024 · 473f343 · 473f343
1 parent 6c550f4
commit 473f343
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tests/positive/RecordIterator.juvix b/tests/positive/RecordIterator.juvix
@@ -19,4 +19,7 @@ foldl
   (g : B -> elem -> B)
   (ini : B)
   (ls : container)
-  : B := for (acc := ini) (x in ls) {g acc x};
+  : B :=
+  for (acc := ini) (x in ls) {
+    g acc x
+  };