From 6e5c6bf7beadc72e64e5d929e301b473b01c9303 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 7 Jan 2021 18:41:30 +0100
Subject: Update

---
 path/point.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'path/point.ml')

diff --git a/path/point.ml b/path/point.ml
index 4c34899..ec6f8ad 100755
--- a/path/point.ml
+++ b/path/point.ml
@@ -58,7 +58,6 @@ let get_coord'
 let mix
   : float -> Gg.v2 -> t -> t -> t
   = fun f point p0 p1 ->
-    incr internal_id;
     let angle0 = p0.angle
     and angle1 = p1.angle
     and width0 = get_width p0
-- 
cgit v1.2.3