From a52e08bcff7a333b85c9e5921b08368c712d0c72 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Sat, 3 Oct 2026 10:42:12 +0200
Subject: [PATCH] overload mkCard

---
 src/api/TryCze.gf | 3 +++
 1 file changed, 3 insertions(+)

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 ;
+  } ;
 
 }