diff options
Diffstat (limited to 'editor/prosemirror')
| -rwxr-xr-x | editor/prosemirror/prosemirror.ml | 2 | ||||
| -rwxr-xr-x | editor/prosemirror/prosemirror.mli | 2 |
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 |