blob: bf69517829e682f501a1d5e45ff1d434097d4dfc [file] [log] [blame]
:- '$benchmark'(qsort, 1000, qsort, '$dummy').