diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-20 20:58:31 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-20 20:58:31 +0100 |
commit | 1f1f13a3f02e7f5f5da5926a402d53f2ccbfe536 (patch) | |
tree | d704a69ccf10b42cbe2ddba8a2291ee3d7d39091 /path/wireFramePrinter.mli | |
parent | a86ede2f3d29d6de6ef7c1eab577f00d4c583660 (diff) |
Update du soir
Diffstat (limited to 'path/wireFramePrinter.mli')
-rwxr-xr-x | path/wireFramePrinter.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/path/wireFramePrinter.mli b/path/wireFramePrinter.mli index 72bb5b7..c6b7a98 100755 --- a/path/wireFramePrinter.mli +++ b/path/wireFramePrinter.mli @@ -3,7 +3,7 @@ type 'a repr type t = Point.t val create_path - : unit -> 'a repr + : 'b -> 'a repr (* Start a new path. *) val start |