From 3539ebd26a8d737ca89fe4efded4442af01f2fb8 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 13 Mar 2013 09:40:54 +0000
Subject: Fix compilation of coqchk (broken by commit 16268), bis repetita

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16297 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 checker/check.mllib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/checker/check.mllib b/checker/check.mllib
index ae1ace37f8..04c31103fe 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -1,8 +1,9 @@
 Coq_config
+Int
+Option
 Store
 Exninfo
 Backtrace
-Int
 Pp_control
 Flags
 Pp
@@ -18,7 +19,6 @@ CList
 CString
 CArray
 Util
-Option
 CUnix
 System
 Envars
-- 
cgit v1.2.3