1d114cea559b — Chris Cannam 3 years ago
Fix build failure for release version
1 files changed, 1 insertions(+), 0 deletions(-)

M timing-release.sml
M timing-release.sml +1 -0
@@ 9,6 9,7 @@ structure Timing : TIMING = struct
 
     fun record tag t = ()
     fun timed tag f = f ()
+    fun timedToBudget (tag, budget) f = f ()
     fun summarise level = ()
             
 end