Interpretation MetaId + Progress + Inst

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1789 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 0 deletions

diff --git a/parsing/pcoq.ml4 b/parsing/pcoq.ml4
index 7cbc4d5d7..ff103ae2c 100644
--- a/parsing/pcoq.ml4
+++ b/parsing/pcoq.ml4
@@ -292,6 +292,7 @@ module Tactic =
     let constrarg_list = gec_list "constrarg_list"
     let ident_or_constrarg = gec "ident_or_constrarg"
     let identarg = gec "identarg"
+    let idmeta_arg = gec "idmeta_arg"
     let qualidarg = gec "qualidarg"
     let qualidconstarg = gec "qualidconstarg"
     let input_fun = gec "input_fun"
@@ -306,6 +307,7 @@ module Tactic =
     let match_rule = gec "match_rule"
     let match_list = gec_list "match_list"
     let ne_identarg_list = gec_list "ne_identarg_list"
+    let ne_idmeta_arg_list = gec_list "ne_idmeta_arg_list"
     let ne_qualidarg_list = gec_list "ne_qualidarg_list"
     let ne_qualidconstarg_list = gec_list "ne_qualidconstarg_list"
     let ne_pattern_list = gec_list "ne_pattern_list"