aboutsummaryrefslogtreecommitdiff
path: root/editor/prosemirror
diff options
context:
space:
mode:
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