From 21c386fee208adb7b494d2677d9f49ed49a1c1ce Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 7 Jan 2021 14:20:54 +0100
Subject: Local point configuration

---
 path/fixed.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'path/fixed.mli')

diff --git a/path/fixed.mli b/path/fixed.mli
index f91ffc6..1f12006 100755
--- a/path/fixed.mli
+++ b/path/fixed.mli
@@ -4,6 +4,8 @@ module type P = sig
 
   val get_coord : t -> Gg.v2
 
+  val id : t -> int
+
 end
 
 module Make(Point:P) : sig
@@ -51,7 +53,6 @@ module Make(Point:P) : sig
     ; ctrl1:Gg.v2 } (* The control point *)
 
   type path =
-    | Empty
     | Line of Point.t * Point.t
     | Curve of bezier
 
-- 
cgit v1.2.3