[nit] Update makefile dev version path

rocq-archive · Jul 24, 2023 · 110b18d · 110b18d
1 parent 262fcbe
commit 110b18d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -2,7 +2,7 @@
 
 # Leave empty to use OPAM-installed Coq
 SERAPI_COQ_HOME ?=
-# SERAPI_COQ_HOME=/home/egallego/external/coq-master/_build/install/default/lib/
+# SERAPI_COQ_HOME=/home/egallego/external/coq-v8.18/_build/install/default/lib/
 
 ifneq ($SERAPI_COQ_HOME,)
   export OCAMLPATH := $(SERAPI_COQ_HOME):$(OCAMLPATH)