TEMP: point to karamel fork

project-everest · Jan 8, 2025 · 3c0873c · 3c0873c
1 parent cc0d06f
commit 3c0873c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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")