Merge pull request #922 from ejgallego/bump_coq

[vendor] [deps] Bump Coq
ejgallego · Feb 27, 2025 · 62984e6 · 62984e6
2 parents ab3f8fd + 6af9c50
commit 62984e6
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/coq/workspace.ml b/coq/workspace.ml
@@ -167,7 +167,7 @@ let make ~cmdline ~implicit ~kind ~debug =
     if boot then []
     else
       (* vo_include path = user-contrib + stdlib *)
-      let userpaths = mk_path_coqlib "user-contrib" :: Envars.coqpath() in
+      let userpaths = mk_path_coqlib "user-contrib" :: Envars.coqpath () in
       let user_vo_path = List.map mk_userlib userpaths in
       let stdlib_vo_path = mk_path_coqlib "theories" |> mk_stdlib ~implicit in
       stdlib_vo_path :: user_vo_path

diff --git a/vendor/coq b/vendor/coq
diff --git a/vendor/coq-stdlib b/vendor/coq-stdlib