diff options
Diffstat (limited to 'kernel/closure.ml')
| -rw-r--r-- | kernel/closure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/closure.ml b/kernel/closure.ml index 71bfa0778f..ae5e51db0f 100644 --- a/kernel/closure.ml +++ b/kernel/closure.ml @@ -294,7 +294,7 @@ let make_constr_ref n = function let defined_vars flags env = if red_local_const (snd flags) then - fold_var_context + fold_named_context (fun env (id,b,t) e -> match b with | None -> e |