From a86ede2f3d29d6de6ef7c1eab577f00d4c583660 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Sun, 20 Dec 2020 11:57:14 +0100
Subject: Update

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

(limited to 'path/point.ml')

diff --git a/path/point.ml b/path/point.ml
index 83cb168..808310c 100755
--- a/path/point.ml
+++ b/path/point.ml
@@ -12,7 +12,7 @@ let empty =
 
 let create x y =
   { p = Gg.V2.v x y
-  ; size = 20.
+  ; size = 10.
   ; angle = Float.neg Gg.Float.pi_div_4
   }
 
-- 
cgit v1.2.3