summaryrefslogtreecommitdiff
path: root/path/wireFramePrinter.ml
diff options
context:
space:
mode:
Diffstat (limited to 'path/wireFramePrinter.ml')
-rwxr-xr-xpath/wireFramePrinter.ml4
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