summaryrefslogtreecommitdiff
path: root/editor/actions/delete_page.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2021-12-03 04:37:14 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commit47e4ab0cf1b7d364439a1a47df53f2d58a216239 (patch)
treed2dd3e37d0168d114198777c78b5278a9d77c254 /editor/actions/delete_page.ml
parentc6265278f05aa4d3af60e420f2d4d13e4bce8ad7 (diff)
Helper to build application events
Diffstat (limited to 'editor/actions/delete_page.ml')
-rwxr-xr-xeditor/actions/delete_page.ml4
1 files changed, 1 insertions, 3 deletions
diff --git a/editor/actions/delete_page.ml b/editor/actions/delete_page.ml
index 7fa609b..858f6b9 100755
--- a/editor/actions/delete_page.ml
+++ b/editor/actions/delete_page.ml
@@ -27,7 +27,5 @@ let create
()
in
Note.E.map
- (fun v -> App.E
- ( v
- , (module M : App.Event with type t = M.t )))
+ (fun v -> App.ev (module M) v)
(Note.E.Option.on_some ev)