mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-22 23:44:34 +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
parent f2e7abbdc1
commit 06ed96dbda
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;
}
~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) {
if (this != &other) {
if (m)