Merge pull request #1951 from ejgallego/remove_legacy_build_mode

[coq] Overlay for coq/coq#18385
HoTT · Nov 7, 2024 · b840fec · b840fec
2 parents 6c5701d + 994fb32
commit b840fec
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/theories/Basics/Settings.v b/theories/Basics/Settings.v
@@ -7,9 +7,9 @@
 (** ** Plugins *)
 
 (** Load the Ltac plugin. This is the tactic language we use for proofs. *)
-Declare ML Module "ltac_plugin".
+Declare ML Module "ltac_plugin:coq-core.plugins.ltac".
 (** Load the number string notation plugin. Allowing us to write numbers like [1234]. *)
-Declare ML Module "number_string_notation_plugin".
+Declare ML Module "number_string_notation_plugin:coq-core.plugins.number_string_notation".
 
 (** ** Proofs *)