diff options
Diffstat (limited to 'kernel/closure.ml')
-rw-r--r-- | kernel/closure.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/closure.ml b/kernel/closure.ml index b22dd42e7..2628895eb 100644 --- a/kernel/closure.ml +++ b/kernel/closure.ml @@ -22,8 +22,9 @@ open Errors open Util open Pp -open Term open Names +open Term +open Vars open Environ open Esubst |