-
Enrico Scala authored
Fixed a bug with in the number printing (set to print number using US notation). This solves an issue with z3 solver.
6ecef1bb
Fixed a bug with in the number printing (set to print number using US notation). This solves an issue with z3 solver.