mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

adding explicit assignment for auto-generated function.

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-10-15 21:16:54 -07:00
parent 0aa12b9423
commit b63754e362
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/tactic/sls/sls_tracker.h
View file

@ -55,6 +55,10 @@ class sls_tracker {
this->~value_score(); this->~value_score();
new (this) value_score(std::move(other)); new (this) value_score(std::move(other));
} }
value_score& operator=(value_score& other) {
UNREACHABLE();
return *this;
}
unsynch_mpz_manager * m; unsynch_mpz_manager * m;
mpz value; mpz value;
double score; double score;