From caff2e1f2358f7e006d6bb4ebf27b14b5f5f1719 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <matthieu.sozeau@inria.fr>
Date: Tue, 13 Jan 2015 06:04:49 +0530
Subject: Update hash of cic.mli in checker/values.ml, letting make validate
 progress.

---
 checker/values.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/values.ml')

diff --git a/checker/values.ml b/checker/values.ml
index 1aad3b33e..3ca44b7d0 100644
--- a/checker/values.ml
+++ b/checker/values.ml
@@ -13,7 +13,7 @@
 To ensure this file is up-to-date, 'make' now compares the md5 of cic.mli
 with a copy we maintain here:
 
-MD5 f4d390282966a3fbd22a9e384046d231 checker/cic.mli
+MD5 0fbea8efeae581d87d977faa9eb2f421 checker/cic.mli
 
 *)
 
-- 
cgit v1.2.3