From 14a3a6fadeb96cd25e4f58de44130b569e8b748d Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 26 Apr 2011 13:48:12 +0000
Subject: Pcoq.ml4: fix a typo in a comment to please ocamldoc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14070 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/pcoq.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/pcoq.ml4 b/parsing/pcoq.ml4
index eb1a696106..e96bd6a704 100644
--- a/parsing/pcoq.ml4
+++ b/parsing/pcoq.ml4
@@ -136,7 +136,7 @@ open Gramtypes
          string option * gram_assoc option * production_rule list]
     and [production_rule = symbol list * action]
 
-    In [single_extend_statement, first two parameters are name and
+    In [single_extend_statement], first two parameters are name and
     assoc iff a level is created *)
 
 type ext_kind =
-- 
cgit v1.2.3