diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2021-12-03 04:37:14 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
commit | 47e4ab0cf1b7d364439a1a47df53f2d58a216239 (patch) | |
tree | d2dd3e37d0168d114198777c78b5278a9d77c254 /editor/actions/export.ml | |
parent | c6265278f05aa4d3af60e420f2d4d13e4bce8ad7 (diff) |
Helper to build application events
Diffstat (limited to 'editor/actions/export.ml')
-rwxr-xr-x | editor/actions/export.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/editor/actions/export.ml b/editor/actions/export.ml index 657e0da..ea4f8ce 100755 --- a/editor/actions/export.ml +++ b/editor/actions/export.ml @@ -33,7 +33,4 @@ end (** Create a new element *) let create : unit -> App.event - = fun () -> - App.E - ( () - , (module M : App.Event with type t = M.t )) + = fun () -> App.ev (module M) () |