typo

LPCIC · Mar 25, 2021 · ad2dd31 · ad2dd31
1 parent 89c4150
commit ad2dd31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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