Logging.ml « src - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/src/Logging.ml

blob: b1512af71b6deae33a18b7207ddeff0fba04bed1 (plain)

1
2
3

let _ = Easy_logging.Logging.make_logger "MainLogger" Debug [ Cli Debug ]

let log = Easy_logging.Logging.get_logger "MainLogger"