diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
| commit | 296fc0547052da47bf0e983cab1ce173fa1e8882 (patch) | |
| tree | 27f621f1e06d4f6493c88993969c4638861390d7 /otherlibs/dynlink | |
| parent | ca0b21c5adbe660a52e5a9dfe1dda16985fe5f7c (diff) | |
Merge olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/dynlink')
| -rw-r--r-- | otherlibs/dynlink/dynlink.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/dynlink/dynlink.mli b/otherlibs/dynlink/dynlink.mli index 7bac5da02..d9cb2c013 100644 --- a/otherlibs/dynlink/dynlink.mli +++ b/otherlibs/dynlink/dynlink.mli @@ -26,7 +26,7 @@ val loadfile : string -> unit val loadfile_private : string -> unit (* Same as [loadfile], except that the module loaded is not made available to other modules dynamically loaded afterwards. *) -val add_interfaces : string list -> string list -> unit +val add_interfaces : units:string list -> paths:string list -> unit (* [add_interfaces units path] grants dynamically-linked object files access to the compilation units named in list [units]. The interfaces ([.cmi] files) for these units are searched in |