format test

anoma · Sep 6, 2024 · eda53c0 · eda53c0
1 parent db307e7
commit eda53c0
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tests/positive/issue2999.juvix b/tests/positive/issue2999.juvix
@@ -2,6 +2,9 @@ module issue2999;
 
 type T := t;
 
-fun : T := namedFun@{x := t};
+fun : T :=
+  namedFun@{
+    x := t
+  };
 
 namedFun (x : T) : T := t;