From 8a9445fbf65d4ddf2c96348025d487b4d54a5d01 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Tue, 5 Jan 2016 19:36:02 +0100
Subject: 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.
---
 checker/check.mllib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'checker/check.mllib')

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
-- 
cgit v1.2.3