From 467eb67bb960c15e1335f375af29b4121ac5262b Mon Sep 17 00:00:00 2001
From: JPR
Date: Wed, 22 May 2019 21:40:57 +0200
Subject: Fixing typos - Part 2

---
 parsing/pcoq.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parsing')

diff --git a/parsing/pcoq.ml b/parsing/pcoq.ml
index 8f38e437b4..a78ad4f842 100644
--- a/parsing/pcoq.ml
+++ b/parsing/pcoq.ml
@@ -585,7 +585,7 @@ let unfreeze (grams, lex) =
 
 (** No need to provide an init function : the grammar state is
     statically available, and already empty initially, while
-    the lexer state should not be resetted, since it contains
+    the lexer state should not be reset, since it contains
     keywords declared in g_*.ml4 *)
 
 let parser_summary_tag =
-- 
cgit v1.2.3