diff --git a/src/runtime/c/pgf/parser.cxx b/src/runtime/c/pgf/parser.cxx index 652c009bb..b3280bb6f 100644 --- a/src/runtime/c/pgf/parser.cxx +++ b/src/runtime/c/pgf/parser.cxx @@ -1524,7 +1524,11 @@ PgfParser::Choice *PgfParser::intersect_choice(Choice *choice1, Choice *choice2, return NULL; } prod->args[i] = arg; - } + } + +#ifdef DEBUG_PARSER + print_prod(choice, prod); +#endif } } } @@ -1599,6 +1603,9 @@ PgfParser::Choice *PgfParser::retrieve_choice(ref arg) prod->args[j] = retrieve_choice(child); } choice->prods.push_back(prod); +#ifdef DEBUG_PARSER + print_prod(choice, prod); +#endif } }