1 files changed, 1 insertions, 0 deletions
diff --git a/data/lalr1.cc b/data/lalr1.cc
index 9ab9421e..d3ab008b 100644
--- a/data/lalr1.cc
+++ b/data/lalr1.cc
@@ -901,6 +901,7 @@ b4_dollar_popdef])[]dnl
         else if (!yyempty)
           {
             yy_destroy_ ("Error: discarding", yyla);
+            yyla.clear ();
             yyempty = true;
           }
       }