Merge pull request #139 from coq-community/coq_20028

Adapt to coq/coq#20028
coq-community · Jan 13, 2025 · 74ced1b · 74ced1b
2 parents 568157f + 804ef6c
commit 74ced1b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile.in b/Makefile.in
@@ -222,7 +222,7 @@ $(TESTDIR)/PrimitiveProjections.dpd $(TESTDIR)/PrimitiveProjections2.dpd: \
 
 $(TESTDIR)/search.log : $(TESTDIR)/Test.vo $(TESTDIR)/search.cmd $(DPDPLUGIN)
 	cat $(TESTDIR)/search.cmd | coqtop -R . dpdgraph -I . 2> /dev/null \
-	  | sed -e 's/Welcome to Coq.*/Welcome to Coq/' > $@
+	  | sed -e 's/Welcome to Rocq.*/Welcome to Rocq/' > $@
 
 %.dot : %.dpd  $(DPD2DOT)
 	$(DPD2DOT) $< > /dev/null

diff --git a/tests/search.oracle b/tests/search.oracle
@@ -1,4 +1,4 @@
-Welcome to Coq
+Welcome to Rocq
 [Loading ML file coq-dpdgraph.plugin ... done]
 [Loading ML file rocq-runtime.plugins.ring ... done]
 Fetching opaque proofs from disk for dpdgraph.tests.Test