Merge pull request #132 from ejgallego/fix_test_loading_message

[coq] Overlay for coq/coq#18385
coq-community · Nov 12, 2024 · a7221e4 · a7221e4
2 parents 4904006 + 9c6d1b7
commit a7221e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/search.oracle b/tests/search.oracle
@@ -1,6 +1,6 @@
 Welcome to Coq
 [Loading ML file coq-dpdgraph.plugin ... done]
-[Loading ML file ring_plugin.cmxs (using legacy method) ... done]
+[Loading ML file coq-core.plugins.ring ... done]
 Fetching opaque proofs from disk for dpdgraph.tests.Test
 [cons(42) nil(6) perm_swap(1) perm_skip(3) list(18) Permutation(11) app(43)
 Permutation_trans(3) list_ind(2) Permutation_refl(2) app_comm_cons(1)