Merge PR coq#20052: Fix Rocq Proof Assistant -> Rocq Prover in rocq -…

…-version. Reviewed-by: ppedrot Co-authored-by: ppedrot <[email protected]>
SkySkimmer · Jan 16, 2025 · 118972a · 118972a
2 parents 7d4ec9e + 41b6fea
commit 118972a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/boot/usage.ml b/boot/usage.ml
@@ -9,7 +9,7 @@
 (************************************************************************)
 
 let version () =
-  Printf.printf "The Rocq Proof Assistant, version %s\n" Coq_config.version;
+  Printf.printf "The Rocq Prover, version %s\n" Coq_config.version;
   Printf.printf "compiled with OCaml %s\n" Coq_config.caml_version
 
 let machine_readable_version () =