From 512275aed9b8374bec2664a1187f2e39703aba15 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 29 Jan 2025 13:27:18 +0100
Subject: [PATCH] Fix Coq -> Rocq in some header

---
 theories/Program/WfExtensionality.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/Program/WfExtensionality.v b/theories/Program/WfExtensionality.v
index d998e1bf69..cbd875e370 100644
--- a/theories/Program/WfExtensionality.v
+++ b/theories/Program/WfExtensionality.v
@@ -1,5 +1,5 @@
 (************************************************************************)
-(*         *   The Coq Proof Assistant / The Coq Development Team       *)
+(*         *      The Rocq Prover / The Rocq Development Team           *)
 (*  v      *         Copyright INRIA, CNRS and contributors             *)
 (* <O___,, * (see version control and CREDITS file for authors & dates) *)
 (*   \VV/  **************************************************************)