Do not print number of runs/average/min/max timing when a function
authorKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 10:25:07 +0000 (12:25 +0200)
committerKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 10:25:07 +0000 (12:25 +0200)
commit31f256a6c02a9c5ce2f8b1117738ff5bc818dc60
treec8a5484be096f4e42ed5f82d182f1859e751a9c5
parentcb728132e1c5cb0a171ee09e9b3ced16da08f796
Do not print number of runs/average/min/max timing when a function
is only timed once.
src/utils.ml