Merge pull request #592 from ejgallego/fix_plugin_load

[coq] Overlay for coq/coq#18385
mattam82 · Nov 12, 2024 · 596d209 · 596d209
2 parents ded4baa + 68b3824
commit 596d209
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/theories/Init.v b/theories/Init.v
@@ -8,8 +8,8 @@
 
 Require Import Stdlib.Unicode.Utf8_core Extraction.
 
-Declare ML Module "ltac_plugin".
-Declare ML Module "equations_plugin:coq-equations.plugin".
+Declare ML Module "coq-core.plugins.ltac".
+Declare ML Module "coq-equations.plugin".
 
 (** A notation scope for equations declarations.