summaryrefslogtreecommitdiff
path: root/editor/state/state.ml
diff options
context:
space:
mode:
Diffstat (limited to 'editor/state/state.ml')
-rwxr-xr-xeditor/state/state.ml3
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/state/state.ml b/editor/state/state.ml
index 569f26c..649473c 100755
--- a/editor/state/state.ml
+++ b/editor/state/state.ml
@@ -14,6 +14,7 @@ type t =
; window : Brr.El.t list
; pm : PM.t
}
+type state = t
(** Compare two states together.
@@ -86,3 +87,5 @@ let init
; pm
}
+
+include Application.Make(struct type t = state end)