From 9c6d1b7b19a82ae5bc4e118b436b8f988b19564a Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Sat, 4 May 2024 23:06:43 +0200 Subject: [PATCH] [coq] Overlay for coq/coq#18385 --- tests/search.oracle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)