Merge pull request #140 from ejgallego/fix_declare_ml

[build] Fix use of plugin aliases in findlib loading.
coq-community · May 4, 2024 · 22aceb2 · 22aceb2
2 parents d29656d + 04e6672
commit 22aceb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/AAC.v b/theories/AAC.v
@@ -960,4 +960,4 @@ Section t.
 
 End t.
 
-Declare ML Module "aac_plugin:coq-aac-tactics.plugin".
+Declare ML Module "coq-aac-tactics.plugin".