summaryrefslogtreecommitdiff
path: root/script.it/script_event/complete_path.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 13:43:24 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:22:43 +0100
commit2e29673fa970b814c97d5838963de49c2a65424b (patch)
tree09d61022038ebfd392873c1a0c62e984d901d11a /script.it/script_event/complete_path.ml
parent155fec516022d2d5a1343312792dce21f466573a (diff)
Rename application functions
Diffstat (limited to 'script.it/script_event/complete_path.ml')
-rwxr-xr-xscript.it/script_event/complete_path.ml2
1 files changed, 1 insertions, 1 deletions
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 ->