From 4bd2e928e3b8d463bb793ad814ff42abdabf9611 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 15 Apr 2013 16:05:25 +0000
Subject: Checker : a md5-based way to ensure checker/values.ml is always in
 sync

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16404 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 checker/values.ml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'checker')

diff --git a/checker/values.ml b/checker/values.ml
index 227f18ca25..5b33439916 100644
--- a/checker/values.ml
+++ b/checker/values.ml
@@ -8,7 +8,14 @@
 
 (** Abstract representations of values in a vo *)
 
-(** NB: UPDATE THIS FILE EACH TIME cic.mli IS MODIFIED ! *)
+(** NB: UPDATE THIS FILE EACH TIME cic.mli IS MODIFIED !
+
+To ensure this file is up-to-date, 'make' now compares the md5 of cic.mli
+with a copy we maintain here:
+
+MD5 9a9abd32a97761c8de8902f314cb0649  checker/cic.mli
+
+*)
 
 (** We reify here the types of values present in a vo (see cic.mli),
     in order to validate its structure. Maybe this reification
@@ -274,7 +281,7 @@ let v_libobj = Tuple ("libobj", [|v_id;v_obj|])
 let v_libobjs = List v_libobj
 let v_libraryobjs = Tuple ("library_objects",[|v_mp;v_libobjs;v_libobjs|])
 
-(** Main structures of a vo *)
+(** Toplevel structures in a vo (see Cic.mli) *)
 
 let v_lib =
   Tuple ("library",[|v_dp;v_compiled_lib;v_libraryobjs;v_deps;Array v_dp|])
-- 
cgit v1.2.3