diff --git a/tests/search.oracle b/tests/search.oracle index a2eb1686a..cdaa4a0f2 100644 --- 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) eq_ind_r(1) eq_ind(2) list_ind(2) Permutation_refl(2)