From 979be5f588a1ffd6e1d060cd794e87526d517b7a Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 11 Jan 2021 05:36:46 +0100
Subject: Layer review

---
 path/builder.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'path/builder.mli')

diff --git a/path/builder.mli b/path/builder.mli
index 78bb778..ff66bcb 100755
--- a/path/builder.mli
+++ b/path/builder.mli
@@ -35,6 +35,6 @@ module Make(Point:P) : sig
 
   (** Represent the path *)
   val repr
-    : t -> (module Repr.M with type t = Point.t and type repr = 's) -> 's -> 's
+    : t -> (module Repr.M with type point = Point.t and type t = 's) -> 's -> 's
 
 end
-- 
cgit v1.2.3