From 0301d2e05e50d321be3cbb8bd105c739daca9f34 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 22 Oct 2020 10:26:52 -0700 Subject: [PATCH] #4750 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 0575974c2..bb3c977fc 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -607,7 +607,7 @@ namespace z3 { unsigned id() const { unsigned r = Z3_get_sort_id(ctx(), *this); check_error(); return r; } /** - \brief Return true if this sort and \c s are equal. + \brief Assign sort s to this */ sort & operator=(sort const & s) { return static_cast(ast::operator=(s)); } /**