From 06c39bbea3b7f8e6bfec88878ec80f9cc474184f Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 7 Jan 2021 00:03:03 +0100
Subject: Update

---
 path/fixed.mli | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'path/fixed.mli')

diff --git a/path/fixed.mli b/path/fixed.mli
index 32f6012..f91ffc6 100755
--- a/path/fixed.mli
+++ b/path/fixed.mli
@@ -2,13 +2,8 @@
 module type P = sig
   type t
 
-  val empty : t
-
   val get_coord : t -> Gg.v2
 
-  (** Copy a point and all thoses properties to the given location *)
-  val copy : t -> Gg.v2 -> t
-
 end
 
 module Make(Point:P) : sig
-- 
cgit v1.2.3