Retrieving the last "$$"

[Filip van der Meeren]

Good afternoon,

I am using bisons yypush_parse to evaluate my text.
But when the parser has finished parsing, I need to get a hold on the  
last "$$". Scanning through the bison manual as well as the internet  
came up empty for me, so you guys/girls are my last resort...

Do you have any idea how to retrieve the $$ when using bison 2.4.1  
with the %define api.pure, %define api.push_pull "push" defined ?

Thank you,

Filip vdm