[SMT-LIB] correction to Ints.smt2

[Cesare Tinelli]

David,

On 3 Nov 2010, at 12:51, cok at frontiernet.net wrote:

> Cesare:
> 
> The Ints.smt2 file is invalid in that the quoted string literal that is the value of :definition contains embedded quotes marks.
> 
Thanks for spotting that. Fixed.


Cesare


PS: To keep the level of noise on this emailing list low, I'd recommend that in the future you, and anybody else, email me or Clark directly about this sort of minor issues, instead of posting them to the list. Thanks.




> - David
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib