mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-23 00:37:36 +00:00
Code Activity

Fix all build warnings with surgical changes

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-05 19:02:39 +00:00 • committed by Nikolaj Bjorner
parent b5407d7302
commit 119008b46f
5 changed files with 11 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/muz/rel/udoc_relation.cpp
View file

@ -282,7 +282,6 @@ namespace datalog {
return false;
}
unsigned udoc_plugin::num_sort_bits(sort* s) const {
unsigned num_bits = 0;
if (bv.is_bv_sort(s))
return bv.get_bv_size(s);
if (m.is_bool(s))