mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

enforce stringstream formatting to avoid default format routine. fixes issue #149

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-07-06 09:11:52 -07:00
parent 3fd5d0eaba
commit 940fed16e1
6 changed files with 71 additions and 44 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/z3_exception.cpp
View file

@ -58,7 +58,7 @@ unsigned z3_error::error_code() const {
return m_error_code;
}
default_exception::default_exception(char const* msg, ...) {
default_exception::default_exception(fmt, char const* msg, ...) {
std::stringstream out;
va_list args;
va_start(args, msg);