summaryrefslogtreecommitdiff
path: root/mbld
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-09-04 00:08:07 -0700
committerOri Bernstein <ori@eigenstate.org>2017-09-04 00:08:07 -0700
commitcf1c6aa5e3025d81896eba7d3f0858b37bdc7309 (patch)
tree71ac09fcc77a7d32fce4ae544f3465933832b67e /mbld
parent99cc92c31eadabe470d781af2f5fd4410594e10e (diff)
downloadmc-cf1c6aa5e3025d81896eba7d3f0858b37bdc7309.tar.gz
Improve sampling of benchmark.
Diffstat (limited to 'mbld')
-rw-r--r--mbld/opts.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/mbld/opts.myr b/mbld/opts.myr
index ca11d56..7f73350 100644
--- a/mbld/opts.myr
+++ b/mbld/opts.myr
@@ -89,7 +89,7 @@ const parseversion = {v
i = 0
a = [0, 0, 0]
- for e in std.bysplit(v, ".")
+ for e : std.bysplit(v, ".")
match std.intparse(e)
| `std.Some n: a[i++] = n
| `std.None: continue