diff options
| -rw-r--r-- | parsing/pcoq.ml4 | 2 | ||||
| -rw-r--r-- | parsing/pcoq.mli | 2 |
2 files changed, 4 insertions, 0 deletions
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 |