diff options
Diffstat (limited to 'bytecomp/bytesections.mli')
| -rw-r--r-- | bytecomp/bytesections.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/bytesections.mli b/bytecomp/bytesections.mli index b9639c1fa..12e679d73 100644 --- a/bytecomp/bytesections.mli +++ b/bytecomp/bytesections.mli @@ -50,3 +50,5 @@ val read_section_struct: in_channel -> string -> 'a val pos_first_section: in_channel -> int (* Return the position of the beginning of the first section *) + +val reset: unit -> unit |