diff options
Diffstat (limited to 'checker/environ.ml')
| -rw-r--r-- | checker/environ.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/checker/environ.ml b/checker/environ.ml index fbe9d9ee2..99b364579 100644 --- a/checker/environ.ml +++ b/checker/environ.ml @@ -191,6 +191,15 @@ let shallow_add_module mp mb env = env_modules = new_mods } in { env with env_globals = new_globals } +let shallow_remove_module mp env = + if not (MPmap.mem mp env.env_globals.env_modules) then + Printf.ksprintf anomaly "Module %s is unknown" + (string_of_mp mp); + let new_mods = MPmap.remove mp env.env_globals.env_modules in + let new_globals = + { env.env_globals with + env_modules = new_mods } in + { env with env_globals = new_globals } let lookup_module mp env = MPmap.find mp env.env_globals.env_modules |