From d795621ceb458eca1f878ea0bbd482311a782807 Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 6 Jan 2009 20:35:24 +0000
Subject: Conversion du fichier 'revision' en un fichier .ml + correction d'un
 bug dans le configure introduit par les révisions 11754 et 11755
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11756 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/coq_config.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index 1eff9c38d..c88d0d170 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -30,7 +30,6 @@ val coqrunbyteflags : string (* -custom/-dllib -lcoqrun *)
 
 val version : string    (* version number of Coq *)
 val date : string       (* release date *)
-val compile_date : string (* compile date *)
 val vo_magic_number : int
 val state_magic_number : int
 
-- 
cgit v1.2.3