Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / log.ml @ ba2f9fa1

History | View | Annotate | Download (874 Bytes)

1 b38ffff3 ploc
(********************************************************************)
2
(*                                                                  *)
3
(*  The LustreC compiler toolset   /  The LustreC Development Team  *)
4
(*  Copyright 2012 -    --   ONERA - CNRS - INPT                    *)
5
(*                                                                  *)
6
(*  LustreC is free software, distributed WITHOUT ANY WARRANTY      *)
7
(*  under the terms of the GNU Lesser General Public License        *)
8
(*  version 2.1.                                                    *)
9
(*                                                                  *)
10
(********************************************************************)
11 0cbf0839 ploc
12
let report ~level:level p =
13
if !Options.verbose_level >= level then
14 c00d0b42 ploc
  Format.eprintf "%t" p
15 0cbf0839 ploc
16
(* Local Variables: *)
17
(* compile-command:"make -C .." *)
18
(* End: *)