From 804ef6cf865cb0850e31ee4999f58e54baf6a17e Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Sun, 12 Jan 2025 17:52:11 +0100
Subject: [PATCH] Adapt to https://github.com/coq/coq/pull/20028

---
 Makefile.in         | 2 +-
 tests/search.oracle | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index f3297171b..45355ac01 100644
--- 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
index fbef0d900..e5757709d 100644
--- 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