summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/term_util.h
diff options
context:
space:
mode:
authorAndres Noetzli <andres.noetzli@gmail.com>2018-02-27 12:16:52 -0800
committerAndres Noetzli <andres.noetzli@gmail.com>2018-02-27 23:45:18 -0800
commit9bf97a2ac3c923d08cce93ca7eda4360b19dfdec (patch)
treece1fba14bdfa113d15691f60eae08b8c80fc0f79 /src/theory/quantifiers/term_util.h
parentcb8e3b305ecf83cde0380f9198fa6d3f795362cd (diff)
Remove printf from output utilities
This commit removes the unused printf functions from the output utilities. It also adds `const` keywords where possible. Finally, it removes overloaded `const char*` functions if the same function existed for `const std::string&` and the `const char*` version was only casting the `const char*` to an `std::string`. This conversion happens implicitly, so the `const char*` version is not needed. Note: this commit does not attempt to clean up the macros, something that we should consider in the future.
Diffstat (limited to 'src/theory/quantifiers/term_util.h')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback