From 8181467e240d7643e2d9ff5388cd8e5db5cf56d6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 19 Dec 2014 14:22:06 +0100
Subject: update md5 sums to make "make check" work

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

diff --git a/checker/values.ml b/checker/values.ml
index e232b8f698..0113eca124 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 b6df941161847354cea0591850f4d528  checker/cic.mli
+MD5 bed14962eac3aa2feba45a572f72b9531 checker/cic.mli
 
 *)
 
-- 
cgit v1.2.3