From ad2dd3194b37677cd71a392bcee94704b6fc38c4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 25 Mar 2021 18:23:44 +0100
Subject: [PATCH] typo

---
 src/coq_elpi_builtins.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/coq_elpi_builtins.ml b/src/coq_elpi_builtins.ml
index d11b7dc22..c656f21b5 100644
--- a/src/coq_elpi_builtins.ml
+++ b/src/coq_elpi_builtins.ml
@@ -874,7 +874,7 @@ let coq_builtins =
     In(B.string,"Name",
     VariadicIn(unit_ctx, !> B.any, {|
 Prints a warning message with a Name and Category which can be used
-to silence this warning or turn it into an error. See coqc -w connad
+to silence this warning or turn it into an error. See coqc -w commad
 line option|}))),
   (fun category name args ~depth _hyps _constraints state ->
      let warning = CWarnings.create ~name ~category Pp.str in