# HG changeset patch
# User Chris Cannam
# Date 1639383674 0
#      Mon Dec 13 08:21:14 2021 +0000
# Node ID 23e6b95d7172b1c3d94cedc65943d457cf12ef17
# Parent  bc2171d060065abd20d1df454db9361b25a86f05
Use category logger

diff --git a/timing.sml b/timing.sml
--- a/timing.sml
+++ b/timing.sml
@@ -20,6 +20,10 @@
                                 val sameKey = op=
                                 end)
 
+    structure Log = CategoryLogFn (struct
+                                    val category = "timing"
+                                    end)
+                              
     exception NotFound
 
     type time_rec = {