From 2779b61c1fe0f5ad4d28ba56610f05182a131dbf Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Mon, 6 Oct 2025 13:50:34 +0100
Subject: [PATCH] amendment to 'lastpos' function: if right child is not
 nullable, then get lastpos of right child, or else get union of them both

---
 fcore/search-list/dfa-gen.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fcore/search-list/dfa-gen.sml b/fcore/search-list/dfa-gen.sml
index 57fd337..d41ed18 100644
--- a/fcore/search-list/dfa-gen.sml
+++ b/fcore/search-list/dfa-gen.sml
@@ -274,7 +274,7 @@ struct
             in lastpos (r, acc)
             end
           else
-            lastpos (l, acc)
+            lastpos (r, acc)
       | ALTERNATION {l, r, ...} =>
           let val acc = lastpos (l, acc)
           in lastpos (r, acc)