diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 1998-11-05 08:07:15 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 1998-11-05 08:07:15 +0000 |
| commit | 7298911eae8f0df735966b3a247ec5f25644839c (patch) | |
| tree | c487b5d52ebdc170114141dbd7861f28384683af /typing/printtyp.mli | |
| parent | af0a7574c84487e9143b8c82d883af457b9b4155 (diff) | |
| download | ocaml-7298911eae8f0df735966b3a247ec5f25644839c.tar.gz | |
Ajout du warning de la séquence et pilotage des warnings par l'utilisateur.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/printtyp.mli')
| -rw-r--r-- | typing/printtyp.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/printtyp.mli b/typing/printtyp.mli index a91523e5ba..93a4e58703 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -5,7 +5,7 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. Distributed only by permission. *) (* *) (***********************************************************************) |