diff --git a/src/api/TryCze.gf b/src/api/TryCze.gf
index 3f0e6bd3..a949c941 100644
--- a/src/api/TryCze.gf
+++ b/src/api/TryCze.gf
@@ -14,5 +14,8 @@ oper
   mkIP = overload SyntaxCze {
     mkIP : Str -> IP = P.mkIP ;
   } ;
+  mkCard = overload SyntaxCze {
+    mkCard : Str -> Card = P.mkCard ;
+  } ;
 
 }