diff options
Diffstat (limited to 'bytecomp/bytelink.mli')
-rw-r--r-- | bytecomp/bytelink.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/bytelink.mli b/bytecomp/bytelink.mli index 82f851e6ef..2c8090c3b6 100644 --- a/bytecomp/bytelink.mli +++ b/bytecomp/bytelink.mli @@ -35,6 +35,7 @@ type error = | Cannot_open_dll of filepath | Required_module_unavailable of modname * modname | Camlheader of string * filepath + | Wrong_link_order of (modname * modname) list exception Error of error |