[coq] Overlay for coq/coq#18385

HoTT · Nov 7, 2024 · 994fb32 · 994fb32
1 parent 6c5701d
commit 994fb32
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 *)