From 06ed96dbda5ef3adc323ce2b4d3e5cfe13c1963a Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 20 Oct 2025 11:53:34 -0700 Subject: [PATCH] add the "noexcept" keyword to value_score=(value_score&&) declaration --- src/ast/sls/sls_bv_tracker.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_bv_tracker.h b/src/ast/sls/sls_bv_tracker.h index 37ef91480..5b228a36b 100644 --- a/src/ast/sls/sls_bv_tracker.h +++ b/src/ast/sls/sls_bv_tracker.h @@ -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)