heechul/crest-z3 — pull request #2 by dqx (2013-06-13 03:11:13+00:00)
Title: Update symbolic_expression.cc

The location of whitespace is important, it should be set appropriately to meet the format used in the function Z3Solver::ParseStatement(...)!