diff options
Diffstat (limited to 'kernel/environ.ml')
| -rw-r--r-- | kernel/environ.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/environ.ml b/kernel/environ.ml index 0063aa6f2..d3b223505 100644 --- a/kernel/environ.ml +++ b/kernel/environ.ml @@ -23,9 +23,11 @@ open Errors open Util open Names +open Term +open Context open Sign +open Vars open Univ -open Term open Declarations open Pre_env |