mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-09 07:45:07 +00:00
Code Activity

missing initialization

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-12-20 20:33:13 -08:00
parent a09f5d7198
commit 899cd0aa2c
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/solver/smtmus.cpp
View file

@ -276,6 +276,7 @@ struct smtmus::imp {
void init() { void init() {
init_soft_clauses(); init_soft_clauses();
init_occurs(); init_occurs();
init_lit2ineq();
} }
lbool get_mus(expr_ref_vector& mus) { lbool get_mus(expr_ref_vector& mus) {