[v8.20] Fixup after merge, due to Coq -> Stdlib

ejgallego · Sep 29, 2024 · cabe3d4 · cabe3d4
1 parent 958be95
commit cabe3d4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/controller-js/coq_lsp_worker.ml b/controller-js/coq_lsp_worker.ml
@@ -178,7 +178,7 @@ let main () =
 
   let stdlib coqlib =
     let unix_path = Filename.concat coqlib "theories" in
-    let coq_path = Names.(DirPath.make [ Id.of_string "Stdlib" ]) in
+    let coq_path = Names.(DirPath.make [ Id.of_string "Coq" ]) in
     Loadpath.
       { unix_path; coq_path; implicit = true; has_ml = false; recursive = true }
   in

diff --git a/test/serlib/genarg/libTactics.v b/test/serlib/genarg/libTactics.v
@@ -44,7 +44,7 @@
 
 Set Implicit Arguments.
 
-Require Import Stdlib.Lists.List.
+Require Import Coq.Lists.List.
 
 
 (* ********************************************************************** *)