summaryrefslogtreecommitdiff
path: root/elements
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-01 11:08:38 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-01 11:08:38 +0100
commitaf88c8895bba85fe5340b34aafb3dce7650bd01f (patch)
treeee0c9d1bd463242c681c6202a9a57c8110d58f59 /elements
parente25b7797708c19cbaef68c14ebef8738de44c2d9 (diff)
Use first type module instead of functors
Diffstat (limited to 'elements')
-rwxr-xr-xelements/timer.ml2
1 files changed, 0 insertions, 2 deletions
diff --git a/elements/timer.ml b/elements/timer.ml
index 0a75e12..bd676fd 100755
--- a/elements/timer.ml
+++ b/elements/timer.ml
@@ -24,7 +24,6 @@ let start
let {id; send; _} = t in
t.counter <- Time.counter ();
-
Brr.G.stop_timer id;
let timer_id = Brr.G.set_interval
~ms:(int_of_float @@ d *. 1000.)
@@ -33,7 +32,6 @@ let start
let span = Time.counter_value t.counter in
t.counter <- Time.counter ();
send span) in
- ignore @@ Brr.G.set_timeout ~ms:0 (fun () -> send 0.);
t.id <- timer_id