Change Menhir branch target in ci-basic_overlay.sh

Villetaneuse · Oct 20, 2023 · ca8d4ab · ca8d4ab
1 parent f202dcb
commit ca8d4ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
@@ -249,7 +249,7 @@ project reduction_effects "https://github.com/coq-community/reduction-effects" "
 # menhirlib
 ########################################################################
 # Note: menhirlib is now in subfolder coq-menhirlib of menhir
-project menhirlib "https://gitlab.inria.fr/fpottier/menhir" "20220210"
+project menhirlib "https://gitlab.inria.fr/fpottier/menhir" "master"
 
 ########################################################################
 # coq-neural-net-interp