From 2bb25ef2d6067b32f8d23f11c1891160bc66b849 Mon Sep 17 00:00:00 2001
From: uramer <antonuramer@gmail.com>
Date: Sun, 13 Oct 2024 13:22:29 +0200
Subject: [PATCH] Use current cyan commit

---
 CI/teal_ci.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/CI/teal_ci.sh b/CI/teal_ci.sh
index b5b9b1b8e6..c3ff77c4aa 100755
--- a/CI/teal_ci.sh
+++ b/CI/teal_ci.sh
@@ -7,8 +7,7 @@ pushd .
 echo "Install Teal Cyan"
 git clone https://github.com/teal-language/cyan.git
 cd cyan
-git checkout 51649e4a814c05deaf5dde929ba82803f5170bbc
-sed -i 's/"tl"/"tl ~> 0.15"/' cyan-dev-1.rockspec
+git checkout 71eaea271bff489d82a9fb575b823b161b996162
 luarocks make cyan-dev-1.rockspec
 popd