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)