mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
parent
e004986e99
commit
cb94f82f37
|
@ -127,7 +127,7 @@ namespace opt {
|
|||
}
|
||||
model_ref mdl;
|
||||
s().get_model(mdl);
|
||||
update_assignment(mdl);
|
||||
if (mdl) update_assignment(mdl);
|
||||
}
|
||||
|
||||
lbool maxlex1() {
|
||||
|
|
Loading…
Reference in a new issue