errors (parenthesis omissions) in pretty-printing for tptp2why fixed. Now it needs testing.
errors (parenthesis omissions) in pretty-printing for tptp2why fixed.
Now it needs testing.


douglas-larocca/why3,jpdeplaix/why3,ssaavedra/why3,ssaavedra/why3,jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3,jpdeplaix/why3