diff options
| author | Maxime Dénès | 2016-01-05 19:36:02 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-01-05 19:36:02 +0100 |
| commit | 8a9445fbf65d4ddf2c96348025d487b4d54a5d01 (patch) | |
| tree | b76decc6370803cf156429204f3c3c7944d9750c /lib | |
| parent | e4a682e2f2c91fac47f55cd8619af2321b2e4c30 (diff) | |
Fix order of files in mllib.
CString was linked after Serialize, although the later was using CString.equal.
This had not been noticed so far because OCaml was ignoring functions marked as
external in interfaces (which is the case of CString.equal) when considering
link dependencies. This was changed on the OCaml side as part of the fix of
PR#6956, so linking was now failing in several places.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/clib.mllib | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/clib.mllib b/lib/clib.mllib index 7ff1d29359..9c9607abdb 100644 --- a/lib/clib.mllib +++ b/lib/clib.mllib @@ -18,11 +18,11 @@ Pp_control Flags Control Loc +CList +CString Serialize Deque CObj -CList -CString CArray CStack Util |