lustrec/tools/stateflow/src/common/log.ml @ 2de7fa82
| 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 |
()
|