diff --git a/tests/search.oracle b/tests/search.oracle
index cdaa4a0f2..fbef0d900 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 coq-core.plugins.ring ... done]
+[Loading ML file rocq-runtime.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)