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 2628895eb..49fd1ae8e 100644 --- a/kernel/closure.ml +++ b/kernel/closure.ml @@ -262,7 +262,7 @@ let evar_value info ev = let defined_vars flags env = (* if red_local_const (snd flags) then*) - Sign.fold_named_context + Context.fold_named_context (fun (id,b,_) e -> match b with | None -> e |