From eda53c0c7b921b8d0b68cb762cf0364ec38a3a2d Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Fri, 6 Sep 2024 13:15:37 +0200
Subject: [PATCH] format test

---
 tests/positive/issue2999.juvix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tests/positive/issue2999.juvix b/tests/positive/issue2999.juvix
index 047ecb4a79..0150c02591 100644
--- 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;