diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-02-06 15:55:40 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-06 15:55:40 -0800 |
| commit | b258ebd1cb08252f8cf7f317c08eadbe1fb8e8fe (patch) | |
| tree | ad5a36fc8bad0c95ef7e9538314e81ce683c2cee /src/theory/quantifiers/model_builder.h | |
| parent | af20fc43b48217ebc402ad0def388e7a21b49c47 (diff) | |
Resolving warnings from -Winconsistent-missing-override on clang. (#1563)
Diffstat (limited to 'src/theory/quantifiers/model_builder.h')
| -rw-r--r-- | src/theory/quantifiers/model_builder.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/theory/quantifiers/model_builder.h b/src/theory/quantifiers/model_builder.h index 511aebf3b..4eb592b3e 100644 --- a/src/theory/quantifiers/model_builder.h +++ b/src/theory/quantifiers/model_builder.h @@ -178,7 +178,7 @@ class QModelBuilderDefault : public QModelBuilderIG //do InstGen techniques for quantifier, return number of lemmas produced int doInstGen(FirstOrderModel* fm, Node f) override; //theory-specific build models - void constructModelUf( FirstOrderModel* fm, Node op ); + void constructModelUf(FirstOrderModel* fm, Node op) override; protected: std::map< Node, QuantPhaseReq > d_phase_reqs; @@ -189,7 +189,10 @@ class QModelBuilderDefault : public QModelBuilderIG //options bool optReconsiderFuncConstants() { return true; } //has inst gen - bool hasInstGen( Node f ) { return !d_quant_selection_lit[f].isNull(); } + bool hasInstGen(Node f) override + { + return !d_quant_selection_lit[f].isNull(); + } }; }/* CVC4::theory::quantifiers namespace */ |