diff --git a/examples/run_benches b/examples/run_benches index 105d37abf5e5bdc372b44de7242300a72e33105a..def76942e162d304f5e53dc883fe4b7257f037c2 100755 --- a/examples/run_benches +++ b/examples/run_benches @@ -1,6 +1,5 @@ # /usr/bin/env ion - # function for timing each individual script fn check_timing script let utime:float = 0.0