From 300293c119981054c95182a90c829058530a6b6f Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sun, 25 Dec 2011 13:19:42 +0100 Subject: Imported Upstream version 8.3.pl3 --- checker/environ.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'checker/environ.mli') diff --git a/checker/environ.mli b/checker/environ.mli index 023acd0b..ea446cdb 100644 --- a/checker/environ.mli +++ b/checker/environ.mli @@ -71,5 +71,6 @@ val add_modtype : module_path -> Declarations.module_type_body -> env -> env val shallow_add_module : module_path -> Declarations.module_body -> env -> env +val shallow_remove_module : module_path -> env -> env val lookup_module : module_path -> env -> Declarations.module_body val lookup_modtype : module_path -> env -> Declarations.module_type_body -- cgit v1.2.3