From 2e29673fa970b814c97d5838963de49c2a65424b Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 13:43:24 +0100 Subject: Rename application functions --- script.it/script_event/complete_path.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'script.it/script_event/complete_path.ml') diff --git a/script.it/script_event/complete_path.ml b/script.it/script_event/complete_path.ml index 99dd6ae..4383a2e 100755 --- a/script.it/script_event/complete_path.ml +++ b/script.it/script_event/complete_path.ml @@ -3,7 +3,7 @@ module State = Script_state.State type t = Outline.t -let update newPath state = +let process newPath state = let paths = List.map state.State.paths ~f:(fun line -> -- cgit v1.2.3