From 06c39bbea3b7f8e6bfec88878ec80f9cc474184f Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Thu, 7 Jan 2021 00:03:03 +0100 Subject: Update --- script.it/worker.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'script.it/worker.ml') diff --git a/script.it/worker.ml b/script.it/worker.ml index e2408b7..e68705a 100755 --- a/script.it/worker.ml +++ b/script.it/worker.ml @@ -63,6 +63,7 @@ let execute (command: [> message]) = rebuild (id, paths) | `DeletePoint (id, point, path) -> let path = Path.Fixed.remove_point path point in + (* TODO Handle when there are less than 4 points *) rebuild (id, Path.Fixed.path path) | any -> Worker.post_message (`Other any) -- cgit v1.2.3