Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / tools / stateflow / src / common / log.ml @ 2de7fa82

History | View | Annotate | Download (112 Bytes)

1
let debug = false
2

    
3
let log ?debug:(dbg=false) f =
4
  if debug || dbg then
5
    Format.printf "%t" f
6
  else
7
    ()