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 4bb9c941f3..3b2655af60 100644 --- a/kernel/closure.ml +++ b/kernel/closure.ml @@ -415,7 +415,7 @@ let defined_vars flags env = match b with | None -> e | Some body -> (id, body)::e) - env [] + env ~init:[] (* else []*) let defined_rels flags env = |