From 1c7d27bdf31ca038f7beee28c41aa7dbba1407dd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 8 Sep 2020 13:32:39 -0700 Subject: [PATCH] fix missing parenthesis in C++ API Signed-off-by: Nikolaj Bjorner --- src/api/c++/z3++.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 5511abe08..e3291df51 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -2310,7 +2310,7 @@ namespace z3 { friend std::ostream & operator<<(std::ostream & out, model const & m); - std::string to_string() const { return std::string(Z3_model_to_string(ctx(), m_model); } + std::string to_string() const { return std::string(Z3_model_to_string(ctx(), m_model)); } }; inline std::ostream & operator<<(std::ostream & out, model const & m) { out << Z3_model_to_string(m.ctx(), m); return out; }