diff options
Diffstat (limited to 'file_formats/cmx_format.mli')
-rw-r--r-- | file_formats/cmx_format.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/file_formats/cmx_format.mli b/file_formats/cmx_format.mli index 0efa32eec3..91ad2d1ff1 100644 --- a/file_formats/cmx_format.mli +++ b/file_formats/cmx_format.mli @@ -52,5 +52,7 @@ type unit_infos = type library_infos = { lib_units: (unit_infos * Digest.t) list; (* List of unit infos w/ MD5s *) + (* In the following fields the lists are reversed with respect to + how they end up being used on the command line. *) lib_ccobjs: string list; (* C object files needed *) lib_ccopts: string list } (* Extra opts to C compiler *) |