From 76acdcb3a95e8dd202016cde1d7c694651c55612 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Wed, 6 Dec 2023 18:07:15 +0100
Subject: [PATCH] run juvix format

---
 tests/positive/Format.juvix | 24 +++++++++++++-----------
 1 file changed, 13 insertions(+), 11 deletions(-)

diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
index 91515e698c..ae634e38a1 100644
--- a/tests/positive/Format.juvix
+++ b/tests/positive/Format.juvix
@@ -390,18 +390,20 @@ i2479' : {_ : Nat} -> Nat
   | {_} := zero;
 
 -- formatting arguments that do not fit in a line
-fffffffffffffffffffffffffffffffffffffffffffffffff {f : List
-  Nat} : Nat := zero;
+fffffffffffffffffffffffffffffffffffffffffffffffff
+  {f : List Nat} : Nat := zero;
 
 -- formatting arguments that do not fit in a line
-fff {f : List Nat}
-{f0 : List Nat}
-{f1 : List Nat}
-{f2 : List Nat}
-{f3 : List Nat}
-{f4 : List Nat}
-{f5 : List Nat}
-{f6 : List Nat}
-{f7 : List Nat} : Nat := zero;
+fff
+  {f : List Nat}
+  {f0 : List Nat}
+  {f1 : List Nat}
+  {f2 : List Nat}
+  {f3 : List Nat}
+  {f4 : List Nat}
+  {f5 : List Nat}
+  {f6 : List Nat}
+  {f7 : List Nat}
+  : Nat := zero;
 
 -- Comment at the end of a module