From 0e5b504c309f189af0840c3bce3071046396df71 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 24 Feb 2024 01:38:18 -0800
Subject: [PATCH] remove bw setting
---
src/ast/sls/sls_valuation.cpp | 3 ---
1 file changed, 3 deletions(-)
diff --git a/src/ast/sls/sls_valuation.cpp b/src/ast/sls/sls_valuation.cpp
index 2b4a5ef99..a964af2f2 100644
--- a/src/ast/sls/sls_valuation.cpp
+++ b/src/ast/sls/sls_valuation.cpp
@@ -436,7 +436,6 @@ namespace bv {
digit_t c;
mpn_manager().sub(a.data(), nw, b.data(), nw, out.data(), &c);
clear_overflow_bits(out);
- out.set_bw(bw);
}
bool sls_valuation::set_add(bvect& out, bvect const& a, bvect const& b) const {
@@ -444,7 +443,6 @@ namespace bv {
mpn_manager().add(a.data(), nw, b.data(), nw, out.data(), nw + 1, &c);
bool ovfl = out[nw] != 0 || has_overflow(out);
clear_overflow_bits(out);
- out.set_bw(bw);
return ovfl;
}
@@ -457,7 +455,6 @@ namespace bv {
ovfl |= out[i] != 0;
}
clear_overflow_bits(out);
- out.set_bw(bw);
return ovfl;
}