--- a/benchmarks/README Wed Nov 02 20:35:32 2016 +0100 +++ b/benchmarks/README Wed Nov 02 20:35:48 2016 +0100 @@ -1,2 +1,2 @@ run with: - stx -I -V --load CollectionBenchmarks.st --run CollectionBenchmarks + stx -I --load CollectionBenchmarks.st --run CollectionBenchmarks