From 341909bbc5c1c59e81dfad2f2532602e2561ec36 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 6 Jan 2015 18:09:26 +0100
Subject: rename: vi -> vio

---
 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 ea3df47f5..0ac8bf78c 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 ed14962eac3aa2feba45a572f72b9531 checker/cic.mli
+MD5 27f35ee65fef280d5a7a80bb11b31837 checker/cic.mli
 
 *)
 
-- 
cgit v1.2.3