From 7534c1c085b2bd066f44d87c3caeb317e93d224c Mon Sep 17 00:00:00 2001
From: notin
Date: Wed, 7 Jan 2009 14:58:35 +0000
Subject: Suite de la révision #11756

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11757 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml
index 864b2718e4..65e2045a15 100644
--- a/tools/coqdoc/main.ml
+++ b/tools/coqdoc/main.ml
@@ -78,7 +78,7 @@ let obsolete s =
 
 let banner () =
   eprintf "This is coqdoc version %s, compiled on %s\n"
-    Coq_config.version Coq_config.compile_date;
+    Revision.version Revision.date;
   flush stderr
     
 let target_full_name f = 
-- 
cgit v1.2.3