From 3fd524da7667ae7b296fa1a14eebf881a7402813 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Fri, 23 Sep 2022 00:41:32 +0200
Subject: [PATCH] format

---
 tests/positive/Internal/Lambda.juvix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/positive/Internal/Lambda.juvix b/tests/positive/Internal/Lambda.juvix
index 4b2ddfa8d6..958b98fd39 100644
--- a/tests/positive/Internal/Lambda.juvix
+++ b/tests/positive/Internal/Lambda.juvix
@@ -116,7 +116,7 @@ inductive Box (A : Type) {
 x : Box ((A : Type) → A → A);
 x := b λ {A a := a};
 
-t1 :  {A : Type} → Box ((A : Type) → A → A) → A → A;
+t1 : {A : Type} → Box ((A : Type) → A → A) → A → A;
 t1 {A} := λ {(b f) := f A};
 
 end;