From 6f1b152a6927171b0c0bfed207307ed1bac1900d Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Mon, 7 Feb 2022 13:40:47 +0100
Subject: Reflect API change in editor

---
 editor/app/editor_app.ml | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

(limited to 'editor/app/editor_app.ml')

diff --git a/editor/app/editor_app.ml b/editor/app/editor_app.ml
index 6bcfc4a..2d23cfb 100644
--- a/editor/app/editor_app.ml
+++ b/editor/app/editor_app.ml
@@ -1,12 +1 @@
-module App = Application.Make(struct type t = State.t end)
-
-(*
-let dispatch
- : (module App.Event with type t = 's) -> 's -> App.event
- = fun (type s) (module M: App.Event with type t = s) v ->
-    App.E
-      ( v
-      , (module M : App.Event with type t = M.t ))
-      *)
-
-include App
+include Application.Make(struct type t = State.t end)
-- 
cgit v1.2.3