diff options
Diffstat (limited to 'contrib/interface')
| -rw-r--r-- | contrib/interface/depends.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/interface/depends.ml b/contrib/interface/depends.ml index 39eaa0b98b..c5f8509759 100644 --- a/contrib/interface/depends.ml +++ b/contrib/interface/depends.ml @@ -280,7 +280,7 @@ let rec depends_of_gen_tactic_expr depends_of_'constr depends_of_'ind depends_of | TacExact c | TacExactNoCheck c | TacVmCastNoCheck c -> depends_of_'constr c acc - | TacApply (_, cb) -> depends_of_'constr_with_bindings cb acc + | TacApply (_, _, cb) -> depends_of_'constr_with_bindings cb acc | TacElim (_, cwb, cwbo) -> depends_of_'constr_with_bindings cwb (Option.fold_right depends_of_'constr_with_bindings cwbo acc) |