Use category logger
1 files changed, 4 insertions(+), 0 deletions(-) M timing.sml
M timing.sml +4 -0
@@ 20,6 20,10 @@ structure Timing : TIMING = struct val sameKey = op= end) + structure Log = CategoryLogFn (struct + val category = "timing" + end) + exception NotFound type time_rec = {