mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Fixed valgrind warning. Fixes #972
This commit is contained in:
parent
95cf1447ea
commit
b67c1c5501
|
@ -194,7 +194,7 @@ bool arith_rewriter::is_bound(expr * arg1, expr * arg2, op_kind kind, expr_ref &
|
|||
}
|
||||
}
|
||||
expr* t1, *t2;
|
||||
bool is_int;
|
||||
bool is_int = false;
|
||||
if (m_util.is_mod(arg2)) {
|
||||
std::swap(arg1, arg2);
|
||||
switch (kind) {
|
||||
|
|
Loading…
Reference in a new issue