From 93e47b6409b6ecad23d4a4317a2738a3ffdcadd1 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 20 Dec 2023 10:18:54 +0100 Subject: [PATCH] bugfix --- src/runtime/c/pgf/parser.cxx | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/runtime/c/pgf/parser.cxx b/src/runtime/c/pgf/parser.cxx index bed676201..354a2a183 100644 --- a/src/runtime/c/pgf/parser.cxx +++ b/src/runtime/c/pgf/parser.cxx @@ -496,7 +496,7 @@ void PgfLRTableMaker::print_production(CCat *ccat, Production *prod) ref type = prod->lin->absfun->type; printer.nprintf(37, "?%zu -> ", ccat->id); printer.puts(&prod->lin->name); - printer.puts("["); + printer.nprintf(37, "/%zu[", prod->index); PgfDBMarshaller m; size_t args_start = type->hypos->len * prod->index; for (size_t i = 0; i < type->hypos->len; i++) { @@ -752,6 +752,9 @@ void PgfLRTableMaker::predict(State *state, Fold fold, Item *item, ref return true; }; probspace_iter(abstr->funs_by_cat, cat, f, false); + } else { + Item *new_item = new(item,ccat,lin_idx) Item; + process(state,fold,new_item); } if (fold == PROBE) {