diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/flags.ml | 2 | ||||
| -rw-r--r-- | lib/flags.mli | 2 | ||||
| -rw-r--r-- | lib/option.ml | 2 |
3 files changed, 3 insertions, 3 deletions
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. |