tests: fix Java push failure when running with BISON_USE_PUSH_FOR_PULL
authorAkim Demaille <akim@lrde.epita.fr>
Fri, 21 Jun 2013 09:39:02 +0000 (11:39 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Fri, 21 Jun 2013 09:39:02 +0000 (11:39 +0200)
commit58b465ae5f7fb39e025540d02455f580749ccbdb
treec8524b500c6d99260d2b80937998c1ea99cd94f1
parentd116722c542af7c6c85012064aa06c0f4d8d3d01
tests: fix Java push failure when running with BISON_USE_PUSH_FOR_PULL

* tests/javapush.at (Trivial Push Parser with api.push-pull verification):
When push for pull is enabled, there is one such function generated.
tests/javapush.at