From 32618a5ce8e2b306af102e4c16711b090c36b840 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 7 Jan 2021 21:54:46 +0100
Subject: Allow point movement

---
 script.it/selection.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'script.it/selection.mli')

diff --git a/script.it/selection.mli b/script.it/selection.mli
index 01f12dc..a405edc 100755
--- a/script.it/selection.mli
+++ b/script.it/selection.mli
@@ -2,6 +2,8 @@ type t =
   | Path of int
   | Point of (int * Path.Point.t)
 
+val threshold : float
+
 (** Return the closest path from the list to a given point. 
 
     The path is returned with all thoses informations :
-- 
cgit v1.2.3