Switch to our nth_opt

hazelgrove · Dec 12, 2024 · 317d7af · 317d7af
1 parent 781f253
commit 317d7af
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/haz3lweb/view/StepperView.re b/src/haz3lweb/view/StepperView.re
@@ -369,7 +369,7 @@ module Selection = {
         let a: option(Model.a) =
           mr.history
           |> Aba.get_as
-          |> List.nth_opt(_, List.length(mr.history |> Aba.get_as) - n - 1);
+          |> ListUtil.nth_opt(List.length(mr.history |> Aba.get_as) - n - 1);
         switch (a) {
         | Some(Calculated(a)) =>
           let+ x =
@@ -391,7 +391,7 @@ module Selection = {
     let a: option(Model.a) =
       mr.history
       |> Aba.get_as
-      |> List.nth_opt(_, List.length(mr.history |> Aba.get_as) - i - 1);
+      |> ListUtil.nth_opt(List.length(mr.history |> Aba.get_as) - i - 1);
     switch (a) {
     | Some(Calculated(a)) =>
       let+ x =