summaryrefslogtreecommitdiff
path: root/editor/prosemirror
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 16:03:16 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commit7c23b96ce5634550341b9554eda9d7c89a79e3c0 (patch)
treeda92baed0962717a882aa31e269243fba66ce0b3 /editor/prosemirror
parent896bfb14fa05cf07bb57216fdccd678e027bc4f9 (diff)
Update editor
Diffstat (limited to 'editor/prosemirror')
-rwxr-xr-xeditor/prosemirror/prosemirror.ml2
-rwxr-xr-xeditor/prosemirror/prosemirror.mli2
2 files changed, 2 insertions, 2 deletions
diff --git a/editor/prosemirror/prosemirror.ml b/editor/prosemirror/prosemirror.ml
index 2a9b92c..48dbfd0 100755
--- a/editor/prosemirror/prosemirror.ml
+++ b/editor/prosemirror/prosemirror.ml
@@ -1,5 +1,5 @@
-open Js_of_ocaml
open Brr
+module Js = Js_of_ocaml.Js
type t = Jv.t
diff --git a/editor/prosemirror/prosemirror.mli b/editor/prosemirror/prosemirror.mli
index 9260af6..506ab89 100755
--- a/editor/prosemirror/prosemirror.mli
+++ b/editor/prosemirror/prosemirror.mli
@@ -1,5 +1,5 @@
-open Js_of_ocaml
open Brr
+module Js = Js_of_ocaml.Js
type t