diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 18:41:30 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 18:48:28 +0100 |
commit | 6e5c6bf7beadc72e64e5d929e301b473b01c9303 (patch) | |
tree | 02919ca31644a58d8b12e35c0072b38e8fab335a /path/point.ml | |
parent | 21c386fee208adb7b494d2677d9f49ed49a1c1ce (diff) |
Update
Diffstat (limited to 'path/point.ml')
-rwxr-xr-x | path/point.ml | 1 |
1 files changed, 0 insertions, 1 deletions
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 |