From ba19ff1f637ac59186f86215de61a3d779449f3c Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 21 Dec 2023 11:17:45 +0100 Subject: [PATCH] bugfix --- src/runtime/c/pgf/parser.cxx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/c/pgf/parser.cxx b/src/runtime/c/pgf/parser.cxx index 354a2a183..a7028648b 100644 --- a/src/runtime/c/pgf/parser.cxx +++ b/src/runtime/c/pgf/parser.cxx @@ -752,7 +752,7 @@ void PgfLRTableMaker::predict(State *state, Fold fold, Item *item, ref return true; }; probspace_iter(abstr->funs_by_cat, cat, f, false); - } else { + } else if (ccat->prods.size() > 0) { Item *new_item = new(item,ccat,lin_idx) Item; process(state,fold,new_item); }