diff options
Diffstat (limited to 'library/global.ml')
| -rw-r--r-- | library/global.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/library/global.ml b/library/global.ml index d5885ed02..2fcd3c2b6 100644 --- a/library/global.ml +++ b/library/global.ml @@ -23,7 +23,8 @@ let _ = declare_summary "Global environment" { freeze_function = (fun () -> !global_env); unfreeze_function = (fun fr -> global_env := fr); - init_function = (fun () -> global_env := empty_environment) } + init_function = (fun () -> global_env := empty_environment); + survive_section = true } (* Then we export the functions of [Typing] on that environment. *) |