From ba68fba4193569a24263629b2af449e7fac5f6c2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 1 Sep 2021 17:10:23 -0700 Subject: [PATCH] build --- 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 c11269b1578..fd204a5bf72 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -599,7 +599,7 @@ namespace z3 { iterator begin() const noexcept { return iterator(this, 0); } iterator end() const { return iterator(this, size()); } friend std::ostream & operator<<(std::ostream & out, ast_vector_tpl const & v) { out << Z3_ast_vector_to_string(v.ctx(), v); return out; } - std::string to_string() const { return std::string(Z3_ast_vector_to_string(ctx(), m_vector); } + std::string to_string() const { return std::string(Z3_ast_vector_to_string(ctx(), m_vector)); } };