From 9fd68cd592d6bd69cec16e46f567864123dffe72 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Wed, 10 Jan 2024 11:50:52 +0100
Subject: [PATCH] in debug mode print some productions that I missed before

---
 src/runtime/c/pgf/parser.cxx | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

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<PgfLRReduceArg> arg)
                 prod->args[j] = retrieve_choice(child);
             }
             choice->prods.push_back(prod);
+#ifdef DEBUG_PARSER
+            print_prod(choice, prod);
+#endif
         }
     }