diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-09 11:35:40 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-09 11:35:40 +0100 |
commit | 329b774e315b41bc0d5b7daf8737222768c8d1f3 (patch) | |
tree | 94464c12dfa48d5fdb1508b9e8a115b4596d0e34 /layer/ductusPrinter.ml | |
parent | c734c1b30fd1c58a0d42020859be31d89b92bcd0 (diff) |
Formalized exchanges between worker and app
Diffstat (limited to 'layer/ductusPrinter.ml')
-rwxr-xr-x | layer/ductusPrinter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/layer/ductusPrinter.ml b/layer/ductusPrinter.ml index 8383a9c..8f796b4 100755 --- a/layer/ductusPrinter.ml +++ b/layer/ductusPrinter.ml @@ -30,8 +30,8 @@ module Make(Repr: Repr.PRINTER) = struct } let quadratic_to - : Path.Point.t -> Gg.v2 -> Gg.v2 -> Path.Point.t -> repr -> repr - = fun p0 ctrl0 ctrl1 p1 { path } -> + : (t * Gg.v2 * Gg.v2 * t) -> repr -> repr + = fun (p0, ctrl0, ctrl1, p1) { path } -> let path = ref path in |