From 3c0873cb9136fcfdf51983486e40979618412234 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Wed, 8 Jan 2025 08:15:28 -0800
Subject: [PATCH] TEMP: point to karamel fork

---
 src/package/package.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/package/package.sh b/src/package/package.sh
index e9e11b3c0..369cfadb4 100755
--- a/src/package/package.sh
+++ b/src/package/package.sh
@@ -125,7 +125,7 @@ make_everparse() {
     export FSTAR_EXE=$FSTAR_HOME/bin/fstar.exe
 
     if [[ -z "$KRML_HOME" ]] ; then
-        { [[ -d karamel ]] || git clone https://github.com/FStarLang/karamel ; }
+        { [[ -d karamel ]] || git clone https://github.com/mtzguido/karamel -b dev; }
         export KRML_HOME=$(fixpath $PWD/karamel)
     else
         export KRML_HOME=$(fixpath "$KRML_HOME")