Fix Rocq Proof Assistant -> Rocq Prover in rocq --version.

SkySkimmer · Jan 14, 2025 · 41b6fea · 41b6fea
1 parent 1c962f3
commit 41b6fea
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 () =