[build] Fix use of plugin aliases in findlib loading.

Newer Coq will raise a warning here, as the acc_tactics build setup is `-warn-on-error` we do fix this now, backwards compatible.
coq-community · May 4, 2024 · 04e6672 · 04e6672
1 parent d29656d
commit 04e6672
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".