diff options
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/tacexpr.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/proofs/tacexpr.ml b/proofs/tacexpr.ml index dc163ea210..2761fbbdf8 100644 --- a/proofs/tacexpr.ml +++ b/proofs/tacexpr.ml @@ -193,7 +193,6 @@ and ('constr,'cst,'ind,'id) gen_tactic_expr = | TacMatch of constr_expr may_eval * (pattern_expr,('constr,'cst,'ind,'id) gen_tactic_expr) match_rule list | TacMatchContext of direction_flag * (pattern_expr,('constr,'cst,'ind,'id) gen_tactic_expr) match_rule list | TacFun of ('constr,'cst,'ind,'id) gen_tactic_fun_ast - | TacFunRec of (identifier located * ('constr,'cst,'ind,'id) gen_tactic_fun_ast) | TacArg of ('constr,'cst,'ind,'id) gen_tactic_arg and ('constr,'cst,'ind,'id) gen_tactic_fun_ast = |