From 124016815a5a38dfebee75451721ae13bca81959 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 1 Apr 2008 14:45:20 +0000
Subject: Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient
 pas correctes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10739 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/flags.ml  | 2 +-
 lib/flags.mli | 2 +-
 lib/option.ml | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index 12b2ed0370..6a801480a2 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: options.ml 10106 2007-08-30 16:56:10Z herbelin $ *)
+(*i $Id:$ i*)
 
 open Util
 
diff --git a/lib/flags.mli b/lib/flags.mli
index 248b59b0df..73962735da 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: options.mli 9679 2007-02-24 15:22:07Z herbelin $ i*)
+(*i $Id$ i*)
 
 (* Global options of the system. *)
 
diff --git a/lib/option.ml b/lib/option.ml
index 95a18396bb..543c108ab9 100644
--- a/lib/option.ml
+++ b/lib/option.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id$ *)
+(*i $Id:$ i*)
 
 (** Module implementing basic combinators for OCaml option type.
    It tries follow closely the style of OCaml standard library.
-- 
cgit v1.2.3