diff options
Diffstat (limited to 'bytecomp/dll.mli')
| -rw-r--r-- | bytecomp/dll.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/dll.mli b/bytecomp/dll.mli index 975315e268..878ffb919e 100644 --- a/bytecomp/dll.mli +++ b/bytecomp/dll.mli @@ -59,3 +59,5 @@ val init_compile: bool -> unit contents of ld.conf file). Take note of the DLLs that were opened when starting the running program. *) val init_toplevel: string -> unit + +val reset: unit -> unit |