From e5c2a971644746818f8764481c60c4c5cf1a80c4 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 17 Dec 2020 22:29:25 +0100
Subject: Moved path builder in a dedicated file

---
 path/point.mli | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'path/point.mli')

diff --git a/path/point.mli b/path/point.mli
index 068f4c1..4b75c3c 100755
--- a/path/point.mli
+++ b/path/point.mli
@@ -6,8 +6,5 @@ val get_coord : t -> Gg.v2
 
 val create: float -> float -> t
 
-val add_point_in_path
-  : (float * float) -> t list -> Shapes.Bezier.t list -> t list * Shapes.Bezier.t list
-
 val get_coord'
   : t -> Gg.v2
-- 
cgit v1.2.3