Merge pull request #132 from ejgallego/fix_test_loading_message

[coq] Overlay for rocq-prover/rocq#18385

Author: ppedrot

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)