diff options
Diffstat (limited to 'src/theory/quantifiers/qinterval_builder.cpp')
-rw-r--r-- | src/theory/quantifiers/qinterval_builder.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/qinterval_builder.cpp b/src/theory/quantifiers/qinterval_builder.cpp index fd3a76a52..5dd6316b3 100644 --- a/src/theory/quantifiers/qinterval_builder.cpp +++ b/src/theory/quantifiers/qinterval_builder.cpp @@ -943,7 +943,7 @@ void QIntervalBuilder::processBuildModel(TheoryModel* m, bool fullModel) { //debug the model debugModel( fm ); }else{ - fm->initialize( d_considerAxioms ); + fm->initialize(); //process representatives fm->d_rep_id.clear(); fm->d_max.clear(); |