From ca2c2f438c1196e0b48abc48ca126f8bba4c426e Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Sun, 12 Oct 2025 00:32:55 +0100
Subject: [PATCH] when adding to followset in ONE_OR_MORE case, make sure we
 add the child to the followset as well

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

diff --git a/fcore/search-list/dfa-gen.sml b/fcore/search-list/dfa-gen.sml
index f434c48..6b1b96a 100644
--- a/fcore/search-list/dfa-gen.sml
+++ b/fcore/search-list/dfa-gen.sml
@@ -630,6 +630,7 @@ struct
           end
       | ONE_OR_MORE child =>
           let
+            val followSet = addToFollowSet (child, followSet)
             val lp = lastpos (child, [])
             val fp = firstpos (child, [])
             val fp = Set.addFromList (fp, Set.LEAF)