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