mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 11:42:28 +00:00
Code Activity

add the "noexcept" keyword to value_score=(value_score&&) declaration

Browse source
This commit is contained in:
Lev Nachmanson 2025-10-20 11:53:34 -07:00 • committed by Nikolaj Bjorner
parent 0ae54c34fd
commit 0d285a9b41
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/sls/sls_bv_tracker.h
View file

@ -55,7 +55,7 @@ class sls_tracker {
touched = other.touched; touched = other.touched;
} }
~value_score() { if (m) m->del(value); } ~value_score() { if (m) m->del(value); }
value_score& operator=(value_score&&) = default; value_score& operator=(value_score&&) noexcept = default;
value_score &operator=(const value_score &other) { value_score &operator=(const value_score &other) {
if (this != &other) { if (this != &other) {
if (m) if (m)