projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a6fa18) | patch
Minor printer cleanup for SMT-LIBv2 symbols "div" and "mod".
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 27 Jun 2013 18:42:28 +0000 (14:42 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 27 Jun 2013 20:46:22 +0000 (16:46 -0400)
commitba893aaccd2f60168db6a50eccd947d7cf7f3069
treeb27eb7e89622b7ba2230baf8add868cbeac91761tree
parent0a6fa189e4e2dc2c47f4050df0aad4a6f3d39b4bcommit | diff
Minor printer cleanup for SMT-LIBv2 symbols "div" and "mod".

Thanks to Alex Horn for raising the issue on the CVC-BUGS mailing list.
src/printer/smt2/smt2_printer.cpp diff | blob | history