--- a/src/Pure/ML/ml_statistics_polyml-5.5.0.ML Sat Jan 05 16:16:22 2013 +0100
+++ b/src/Pure/ML/ml_statistics_polyml-5.5.0.ML Sat Jan 05 17:24:27 2013 +0100
@@ -35,7 +35,7 @@
userCounters} = PolyML.Statistics.getLocalStats ();
val user_counters =
Vector.foldri
- (fn (i, j, res) => ("user_counter" ^ Markup.print_int (i + 1), Markup.print_int j) :: res)
+ (fn (i, j, res) => ("user_counter" ^ Markup.print_int i, Markup.print_int j) :: res)
[] userCounters;
in
[("full_GCs", Markup.print_int gcFullGCs),