From d37e510b241bbab2ae262be236dcad600fc0cc6c Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Mon, 29 Sep 2025 21:29:03 +0100
Subject: [PATCH] progress fixing backtracking

---
 fcore/search-list/nfa.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/fcore/search-list/nfa.sml b/fcore/search-list/nfa.sml
index 4f82a12..f71ca9e 100644
--- a/fcore/search-list/nfa.sml
+++ b/fcore/search-list/nfa.sml
@@ -264,7 +264,7 @@ struct
                   val acc = PersistentVector.append (startIdx, foundIdx, acc)
                 in
                   loop
-                    ( foundIdx + 1
+                    ( strIdx + 1
                     , hd
                     , tl
                     , prevStrings
@@ -305,7 +305,7 @@ struct
                         , origNfa
                         , acc
                         , absIdx
-                        , absIdx
+                        , startIdx + 1
                         , finishIdx
                         )
                     end