3a16cac43724 — Chris Cannam 3 years ago
Use %1 etc instead of just %
1 files changed, 3 insertions(+), 3 deletions(-)

M timing.sml
M timing.sml +3 -3
@@ 61,7 61,7 @@ structure Timing : TIMING = struct
             val usElapsed = toUsReal elapsed
             val () = Log.debug
                          (fn () =>
-                             ["%: %%s (%/s)",
+                             ["%1: %2%3s (%4/s)",
                               tag,
                               N usElapsed, mu,
                               if usElapsed > 0.0

          
@@ 81,7 81,7 @@ structure Timing : TIMING = struct
                 in
                     log level
                         (fn () =>
-                            ["%: mean %%s (%/s), worst %%s, total %%s",
+                            ["%1: mean %2%3s (%4/s), worst %5%6s, total %7%8s",
                              tag,
                              N (usTotal / Real.fromInt count), mu,
                              if usTotal > 0.0

          
@@ 92,7 92,7 @@ structure Timing : TIMING = struct
                         ])
                 end
                 handle NotFound =>
-                       Log.warn (fn () => ["tag % not found in aggregates", tag])
+                       Log.warn (fn () => ["tag %1 not found in aggregates", tag])
         in
             (log level (fn () => ["Aggregate times in order of appearance:"]);
              List.app summariseOne (rev (!recordOrder)))