]> git.saurik.com Git - bison.git/commit
Moving push traces into yypush_.
authorAkim Demaille <demaille@gostai.com>
Thu, 31 Jul 2008 09:23:34 +0000 (11:23 +0200)
committerAkim Demaille <demaille@gostai.com>
Fri, 7 Nov 2008 20:38:54 +0000 (21:38 +0100)
commit9380cfd0083f8cdf845600b08e6b30f77e5e9e29
tree5d0dd5735206ef76d45650ed37ac46266ae6ca3e
parent8901f32e4aa568b05cbf31f7697f9cd98408f81e
Moving push traces into yypush_.

* data/lalr1.cc (yypush_): Now takes a optional trace message.
Adjust all uses.
ChangeLog
data/lalr1.cc