regb/scala-smtlib — pull request #3 by samarion (2014-11-21 10:18:32+00:00)
Title: Corrected small issue for no-argument function applications

I didn't look around much in other Leon tests, but I have one example where a no-argument function invocation gets pretty-printed out to (functionName ) and this doesn't seem to parse in CVC4, so I just implemented a quick fix that checks whether the argument list is empty.