aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2016-01-05 19:36:02 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2016-01-05 19:36:02 +0100
commit8a9445fbf65d4ddf2c96348025d487b4d54a5d01 (patch)
treeb76decc6370803cf156429204f3c3c7944d9750c /checker
parente4a682e2f2c91fac47f55cd8619af2321b2e4c30 (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 'checker')
-rw-r--r--checker/check.mllib4
1 files changed, 2 insertions, 2 deletions
diff --git a/checker/check.mllib b/checker/check.mllib
index 49ca6bf05..0d36e3a0f 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -17,6 +17,8 @@ Flags
Control
Pp_control
Loc
+CList
+CString
Serialize
Stateid
Feedback
@@ -25,8 +27,6 @@ Segmenttree
Unicodetable
Unicode
CObj
-CList
-CString
CArray
CStack
Util