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.ml | |
parent | a86ede2f3d29d6de6ef7c1eab577f00d4c583660 (diff) |
Update du soir
Diffstat (limited to 'path/wireFramePrinter.ml')
-rwxr-xr-x | path/wireFramePrinter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/path/wireFramePrinter.ml b/path/wireFramePrinter.ml index fc27c62..13d90ad 100755 --- a/path/wireFramePrinter.ml +++ b/path/wireFramePrinter.ml @@ -9,8 +9,8 @@ type 'a repr = } let create_path - : unit -> 'a repr - = fun () -> + : 'b -> 'a repr + = fun _ -> { back = Repr.close ; path = Repr.create () ; last_point = None |