Make spacing in grammar consistent

Spacing in the SMTLIB2 grammar was inconsistent in the previous versions. Commit [https://bitbucket.org/franck44/scalasmt/commits/3ad8a49e35e049c8a5e44a86ffe06ab0b144e644] fixes the problem for most of the terms except:

let
forall
exists

What is needed is a (X sp)++ construct in sbt-rats to have spacing between terms. Once sbt-rats is updated with this new feature, the let/forall/exists terms can be easily nicely pretty-printed.

@inkytonik : thanks for this great job!

Comments (1)