The symbol for negation in SMTLib1 is ~ not -

Curiously enough only MathSat5 complains about this.
Merge pull request #11 from jeroenk/query-fix

The symbol for negation in SMTLib1 is ~ not -