From 085807162a7acf72fc060f3720eef43eacde7fe5 Mon Sep 17 00:00:00 2001
From: bertot
Date: Wed, 4 Apr 2001 12:51:36 +0000
Subject: adding entry points for the arguments of the Comment command.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1534 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/pcoq.ml4 | 2 ++
 parsing/pcoq.mli | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/parsing/pcoq.ml4 b/parsing/pcoq.ml4
index 3b9708dc65..22fde95488 100644
--- a/parsing/pcoq.ml4
+++ b/parsing/pcoq.ml4
@@ -353,6 +353,8 @@ module Vernac =
     let ne_identarg_list = gec_list "ne_identarg_list"
     let qualidarg = gec "qualidarg"
     let qualidconstarg = gec "qualidconstarg"
+    let commentarg = gec "commentarg"
+    let commentarg_list = gec_list "commentarg_list"
     let ne_qualidarg_list = gec_list "ne_qualidarg_list"
     let numarg = gec "numarg"
     let numarg_list = gec_list "numarg_list"
diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli
index 0ad8a73c44..e640888625 100644
--- a/parsing/pcoq.mli
+++ b/parsing/pcoq.mli
@@ -165,6 +165,8 @@ module Vernac :
     val ne_identarg_list : Coqast.t list Gram.Entry.e
     val qualidarg : Coqast.t Gram.Entry.e
     val qualidconstarg : Coqast.t Gram.Entry.e
+    val commentarg : Coqast.t Gram.Entry.e
+    val commentarg_list : Coqast.t list Gram.Entry.e
     val ne_qualidarg_list : Coqast.t list Gram.Entry.e
     val numarg : Coqast.t Gram.Entry.e
     val numarg_list : Coqast.t list Gram.Entry.e
-- 
cgit v1.2.3