diff options
Diffstat (limited to 'path/point.ml')
-rwxr-xr-x | path/point.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 } |