summaryrefslogtreecommitdiff
path: root/script.it/state.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 16:09:14 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:15:44 +0100
commit5d5549c168af51195e66bf67cc5b23382b8c7d52 (patch)
tree6268ecee9135854b209a5533eeb99540b7955f31 /script.it/state.ml
parent58e892fb0159c42740ae92a642f7eb76245950a6 (diff)
Changed the organisation in the applications
Diffstat (limited to 'script.it/state.ml')
-rwxr-xr-xscript.it/state.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/script.it/state.ml b/script.it/state.ml
index cb5d9ff..77a24a3 100755
--- a/script.it/state.ml
+++ b/script.it/state.ml
@@ -195,7 +195,7 @@ let longClick mouse_coord state worker = function
| _ -> state
let do_action
- : Brr_webworkers.Worker.t -> Elements.Timer.t -> events -> state -> state
+ : Brr_webworkers.Worker.t -> Elements.Timer.t -> (events, state) Application.t
= fun worker timer event state ->
match event, state.mode with
| `Point (delay, point), _ ->