diff options
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 |