diff options
Diffstat (limited to 'checker/safe_typing.mli')
| -rw-r--r-- | checker/safe_typing.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/checker/safe_typing.mli b/checker/safe_typing.mli index 81c48ac2a..12fdbfce8 100644 --- a/checker/safe_typing.mli +++ b/checker/safe_typing.mli @@ -21,5 +21,7 @@ val get_env : unit -> env type compiled_library val set_engagement : Declarations.engagement -> unit -val import : compiled_library -> Digest.t -> unit -val unsafe_import : compiled_library -> Digest.t -> unit +val import : + System.physical_path -> compiled_library -> Digest.t -> unit +val unsafe_import : + System.physical_path -> compiled_library -> Digest.t -> unit |