summaryrefslogtreecommitdiff
path: root/script.it/worker_messages
diff options
context:
space:
mode:
Diffstat (limited to 'script.it/worker_messages')
-rwxr-xr-xscript.it/worker_messages/dune1
-rwxr-xr-xscript.it/worker_messages/worker_messages.ml5
2 files changed, 4 insertions, 2 deletions
diff --git a/script.it/worker_messages/dune b/script.it/worker_messages/dune
index d1511a6..b4e1c2b 100755
--- a/script.it/worker_messages/dune
+++ b/script.it/worker_messages/dune
@@ -2,5 +2,6 @@
(name worker_messages)
(libraries
js_of_ocaml
+ outline
path)
)
diff --git a/script.it/worker_messages/worker_messages.ml b/script.it/worker_messages/worker_messages.ml
index 992ec29..a4d05c8 100755
--- a/script.it/worker_messages/worker_messages.ml
+++ b/script.it/worker_messages/worker_messages.ml
@@ -1,8 +1,9 @@
open Js_of_ocaml
type to_worker = [
- | `Complete of Path.Fixed.t
- | `DeletePoint of (Path.Point.t * Path.Fixed.t)
+ | `Complete of Outline.t
+ | `DeletePoint of (Path.Point.t * Outline.t)
+ | `Back of Outline.t
]
type from_worker = [