mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
na
This commit is contained in:
parent
75859ef4e4
commit
09d881cce5
|
@ -412,7 +412,7 @@ namespace {
|
|||
|
||||
if (!m_model.is_true(res)) {
|
||||
IF_VERBOSE(2, verbose_stream()
|
||||
<< "(spacer-model-anomaly: " << res << ")\n";
|
||||
<< "(spacer-model-anomaly: " << res << ")\n");
|
||||
}
|
||||
out.push_back(res);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue