1 (***********************************************************************)
5 (* Kim Nguyen, LRI UMR8623 *)
6 (* Université Paris-Sud & CNRS *)
8 (* Copyright 2010-2013 Université Paris-Sud and Centre National de la *)
9 (* Recherche Scientifique. All rights reserved. This file is *)
10 (* distributed under the terms of the GNU Lesser General Public *)
11 (* License, with the special exception on linking described in file *)
14 (***********************************************************************)
19 type level = [ `NORMAL (* regular output *)
20 | `STATS (* Statistics only given if -s *)
21 | `DEBUG] (* DEBUG STATEMENTS *)
23 let string_of_level = function
29 let _o = ref err_formatter
31 let set_output o = _o := o
40 let kont fmt = fprintf fmt "@]@."
46 | `DEBUG when debug -> true
47 | `STATS when !Options.stats -> true
51 fprintf !_o "@[%s: " (string_of_level level);