* data/lalr1.cc: Adjust the indentation of the labels.

Use it.
2026-03-09 12:23:04 +00:00 · 2004-09-06 14:32:05 +00:00
parent a0e68930d8
commit 52d5733ff0
2 changed files with 25 additions and 16 deletions
--- a/6
+++ b/6
@@ -1,3 +1,9 @@
+2004-09-06  Akim Demaille  <akim@epita.fr>
+
+	* data/lalr1.cc: Adjust the indentation of the labels.
+        (Parser::pop): New.
+	Use it.
+
 2004-09-06  Akim Demaille  <akim@epita.fr>

 	* data/yacc.cc, data/glr.cc (yydestruct): Accept an additional