format

anoma · Sep 23, 2022 · 3fd524d · 3fd524d
1 parent ebbd6d4
commit 3fd524d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;