diff options
Diffstat (limited to 'parsing/egrammar.ml')
| -rw-r--r-- | parsing/egrammar.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/parsing/egrammar.ml b/parsing/egrammar.ml index 97cfd77b1..d665ad575 100644 --- a/parsing/egrammar.ml +++ b/parsing/egrammar.ml @@ -24,6 +24,10 @@ type all_grammar_command = (string * (string * grammar_production list) * Tacexpr.raw_tactic_expr) list +let subst_all_grammar_command subst = function + | AstGrammar gc -> AstGrammar (subst_grammar_command subst gc) + | TacticGrammar g -> TacticGrammar g (* TODO ... *) + let (grammar_state : all_grammar_command list ref) = ref [] (* Interpretation of the right hand side of grammar rules *) |