From a8061547bfad3f2a353a746633a86a67d99ca3a4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Wed, 11 Dec 2024 15:07:46 +0100 Subject: [PATCH] Adapt to coq/coq#19764 (coq-core renamed to rocq-runtime) --- tests/search.oracle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)