aboutsummaryrefslogtreecommitdiff
path: root/elements/timer.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-03 05:42:35 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-03 20:19:14 +0100
commita8f37f041dce3f16917b6659d3ca97492f178f4d (patch)
tree35223969024c9ebaed7309b5a6299f8de5f18d1f /elements/timer.ml
parent20addbe8fd0ac4c79c8a69a4f888ec320a9ca4c3 (diff)
Communication with webworker
Diffstat (limited to 'elements/timer.ml')
-rwxr-xr-xelements/timer.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/elements/timer.ml b/elements/timer.ml
index bd676fd..28516fc 100755
--- a/elements/timer.ml
+++ b/elements/timer.ml
@@ -30,7 +30,6 @@ let start
(fun () ->
let span = Time.counter_value t.counter in
- t.counter <- Time.counter ();
send span) in
t.id <- timer_id