mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-14 01:46:15 +00:00
Code Activity

re-move #5442

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-07-29 15:33:19 -07:00
parent b8a437bd8a
commit 38250fc304
1 changed files with 1 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/api/c++/z3++.h
View file

@ -519,14 +519,6 @@ namespace z3 {
m_ast = s.m_ast; m_ast = s.m_ast;
return *this; return *this;
} }
ast & operator=(ast && s) noexcept {
if (this != &s) {
object::operator=(std::forward<object>(s));
m_ast = s.m_ast;
s.m_ast = nullptr;
}
return *this;
}
Z3_ast_kind kind() const { Z3_ast_kind r = Z3_get_ast_kind(ctx(), m_ast); check_error(); return r; } Z3_ast_kind kind() const { Z3_ast_kind r = Z3_get_ast_kind(ctx(), m_ast); check_error(); return r; }
unsigned hash() const { unsigned r = Z3_get_ast_hash(ctx(), m_ast); check_error(); return r; } unsigned hash() const { unsigned r = Z3_get_ast_hash(ctx(), m_ast); check_error(); return r; }
friend std::ostream & operator<<(std::ostream & out, ast const & n); friend std::ostream & operator<<(std::ostream & out, ast const & n);