diff options
| -rw-r--r-- | pretyping/clenv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/clenv.ml b/pretyping/clenv.ml index 56bec28db0..a866da8264 100644 --- a/pretyping/clenv.ml +++ b/pretyping/clenv.ml @@ -448,7 +448,7 @@ let clenv_constrain_missing_args mlist clause = let make_clenv_binding_gen hyps_only n gls (c,t) = function | ImplicitBindings largs -> let clause = mk_clenv_from_n gls n (c,t) in - clenv_constrain_dep_args (n <> None) clause largs + clenv_constrain_dep_args hyps_only clause largs | ExplicitBindings lbind -> let clause = mk_clenv_rename_from_n gls n (c,t) in clenv_match_args lbind clause |