mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
fix build break
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
0fa6274a65
commit
0ef14acf2e
|
@ -1412,7 +1412,7 @@ namespace smt {
|
|||
<< "max gain: " << max_gain << "\n";);
|
||||
|
||||
|
||||
SASSERT(max_gain.is_minu
|
||||
SASSERT(max_gain.is_minus_one() || max_gain.is_one());
|
||||
SASSERT(min_gain.is_minus_one() || min_gain.is_one());
|
||||
SASSERT(is_int(x) == min_gain.is_one());
|
||||
|
||||
|
|
Loading…
Reference in a new issue