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 /dev | |
| 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 'dev')
| -rw-r--r-- | dev/printers.mllib | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/printers.mllib b/dev/printers.mllib index 07b48ed573..eeca6809ae 100644 --- a/dev/printers.mllib +++ b/dev/printers.mllib @@ -16,6 +16,8 @@ Backtrace IStream Pp_control Loc +CList +CString Compat Flags Control @@ -28,8 +30,6 @@ Segmenttree Unicodetable Unicode CObj -CList -CString CArray CStack Util |