small fix

anoma · Jan 9, 2023 · e595a7c · e595a7c
1 parent d996730
commit e595a7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/positive/issue1693/M.juvix b/tests/positive/issue1693/M.juvix
@@ -8,7 +8,7 @@ module M;
   K x y := x;
 
   I : {A : Type} → A → A;
-  I {A} := S K (K {_} {Bool});
+  I := S K (K {_} {Bool});
 
   main : IO;
   main := printNatLn