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;