summaryrefslogtreecommitdiff
path: root/layer
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-07 21:54:46 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-09 06:27:18 +0100
commit32618a5ce8e2b306af102e4c16711b090c36b840 (patch)
tree1c22b5bcf9f29e9ff0118cfa9aedd6fb05c9ab0f /layer
parent6e5c6bf7beadc72e64e5d929e301b473b01c9303 (diff)
Allow point movement
Diffstat (limited to 'layer')
-rwxr-xr-xlayer/linePrinter.ml7
1 files changed, 4 insertions, 3 deletions
diff --git a/layer/linePrinter.ml b/layer/linePrinter.ml
index c15bcc9..38dae5c 100755
--- a/layer/linePrinter.ml
+++ b/layer/linePrinter.ml
@@ -37,9 +37,10 @@ module Make(Repr: Repr.PRINTER) = struct
let line_to
: Path.Point.t -> Path.Point.t -> repr -> repr
- = fun _ t {path} ->
- let path = Repr.line_to (Path.Point.get_coord t) path
- |> mark t in
+ = fun p0 p1 {path} ->
+ let path = Repr.move_to (Path.Point.get_coord p0) path
+ |> Repr.line_to (Path.Point.get_coord p1)
+ |> mark p1 in
{ path
}