mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
remove out
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
b0055df4ab
commit
84520d53ea
|
@ -1676,7 +1676,6 @@ public:
|
|||
return FC_CONTINUE;
|
||||
case FC_GIVEUP:
|
||||
TRACE("arith", tout << "check-nra giveup\n";);
|
||||
verbose_stream() << "giveup nla\n";
|
||||
st = FC_GIVEUP;
|
||||
break;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue