From c6265278f05aa4d3af60e420f2d4d13e4bce8ad7 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 3 Dec 2021 04:19:53 +0100 Subject: Removed the application mecanism from the state module --- editor/app/editor_app.ml | 1 + 1 file changed, 1 insertion(+) create mode 100644 editor/app/editor_app.ml (limited to 'editor/app/editor_app.ml') diff --git a/editor/app/editor_app.ml b/editor/app/editor_app.ml new file mode 100644 index 0000000..2d23cfb --- /dev/null +++ b/editor/app/editor_app.ml @@ -0,0 +1 @@ +include Application.Make(struct type t = State.t end) -- cgit v1.2.3