From 89c415028437d95fb0f09793852e1f9e84f403d5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 25 Mar 2021 18:23:15 +0100
Subject: [PATCH] fix 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 f9499d710..d11b7dc22 100644
--- a/src/coq_elpi_builtins.ml
+++ b/src/coq_elpi_builtins.ml
@@ -873,7 +873,7 @@ let coq_builtins =
     In(B.string,"Category",
     In(B.string,"Name",
     VariadicIn(unit_ctx, !> B.any, {|
-Prints a warning message with a Name an Category which can be used
+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
 line option|}))),
   (fun category name args ~depth _hyps _constraints state ->