Update pyk/src/pyk/k2lean4/Prelude.lean

Co-authored-by: Juan C. <38925412+JuanCoRo@users.noreply.github.com>

Author: tothtamas28

pyk/src/pyk/k2lean4/Prelude.lean

@@ -12,4 +12,4 @@ abbrev SetHook (E : Type) : Type := List E
 class Inj (From To : Type) : Type where
   inj (x : From) : To
 
-def inj {From : Type} {To : Type} [inst : Inj From To] := inst.inj
+def inj {From To : Type} [inst : Inj From To] := inst.inj