From 317d7af95fe111f3ca398302058cb317cd0b282e Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Thu, 12 Dec 2024 11:18:18 -0500
Subject: [PATCH] Switch to our nth_opt

---
 src/haz3lweb/view/StepperView.re | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/haz3lweb/view/StepperView.re b/src/haz3lweb/view/StepperView.re
index 5ea92c759..58077dd55 100644
--- 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 =