Merge pull request #138 from SkySkimmer/rocq-cli

Adapt to coq/coq#19927 (coq-core renamed to rocq-runtime)
coq-community · Dec 18, 2024 · 568157f · 568157f
2 parents bbd46c5 + a806154
commit 568157f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)