diff options
Diffstat (limited to 'layer/fillPrinter.ml')
| -rwxr-xr-x | layer/fillPrinter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/layer/fillPrinter.ml b/layer/fillPrinter.ml index 3093ada..19f0ac4 100755 --- a/layer/fillPrinter.ml +++ b/layer/fillPrinter.ml @@ -79,8 +79,8 @@ module Make(Repr: Repr.PRINTER) = struct { t with path} let quadratic_to - : Point.t -> Gg.v2 -> Gg.v2 -> Point.t -> repr -> repr - = fun p0 ctrl0 ctrl1 p1 t -> + : (t * Gg.v2 * Gg.v2 * t) -> repr -> repr + = fun (p0, ctrl0, ctrl1, p1) t -> let ctrl0' = Point.copy p1 ctrl0 and ctrl1' = Point.copy p1 ctrl1 in |