diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 1998-11-05 08:04:40 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 1998-11-05 08:04:40 +0000 |
| commit | af0a7574c84487e9143b8c82d883af457b9b4155 (patch) | |
| tree | a9a4d2f53904705d798cc0270c03746fa44185f4 /toplevel | |
| parent | ddc61a1adba0b058a60d4a23b681865d7632c88d (diff) | |
| download | ocaml-af0a7574c84487e9143b8c82d883af457b9b4155.tar.gz | |
Pilotage des warnings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2148 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/toploop.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index 6a7cada139..037f309eb5 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.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. *) (* *) (***********************************************************************) @@ -49,5 +49,5 @@ val use_silently: string -> bool val parse_toplevel_phrase : (Lexing.lexbuf -> Parsetree.toplevel_phrase) ref val parse_use_file : (Lexing.lexbuf -> Parsetree.toplevel_phrase list) ref val print_location : Location.t -> unit -val print_warning : Location.t -> string -> unit +val print_warning : Location.t -> Warnings.t -> unit val input_name : string ref |