From 1f1f13a3f02e7f5f5da5926a402d53f2ccbfe536 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Sun, 20 Dec 2020 20:58:31 +0100
Subject: Update du soir

---
 path/wireFramePrinter.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'path/wireFramePrinter.ml')

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
-- 
cgit v1.2.3