From e03257dc56ffae8fa8499f0f5ac061c6ccda33e9 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 8 Oct 2021 20:11:43 -0600 Subject: [PATCH] refactor: remove unlabeled use of Array.sub Array.sub should use ~pos and ~len, but it's easier to just do List.tl Signed-off-by: Rudi Grinberg --- bootstrap.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bootstrap.ml b/bootstrap.ml index fd6713ad1b9..b421a2fa392 100644 --- a/bootstrap.ml +++ b/bootstrap.ml @@ -100,7 +100,7 @@ let () = "-output-complete-exe") prog (List.map modules ~f:(fun m -> m ^ ".ml") |> String.concat ~sep:" ")); - let args = Array.to_list (Array.sub Sys.argv 1 (Array.length Sys.argv - 1)) in + let args = List.tl (Array.to_list Sys.argv) in let args = match which with | None -> args