From a6fe1b9597684c91fd479a007b53f88a45e0f00d Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Fri, 29 Sep 2023 12:21:14 +0200 Subject: [PATCH] Run the linter --- src/bin/js/worker_js.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/bin/js/worker_js.ml b/src/bin/js/worker_js.ml index ba010debf..e289d7512 100644 --- a/src/bin/js/worker_js.ml +++ b/src/bin/js/worker_js.ml @@ -324,7 +324,8 @@ let main worker_id content = end | Some r -> let b,e = r.loc in - (r.name,b.Lexing.pos_lnum,e.Lexing.pos_lnum,!nb,Worker_interface.Used) + (r.name,b.Lexing.pos_lnum,e.Lexing.pos_lnum,!nb, + Worker_interface.Used) :: acc ) tbl [] in