diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2015-04-24 00:35:08 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2015-04-24 00:35:08 -0700 |
| commit | 0bf9566178b30b81ee27ead42bcbfaa668f738e1 (patch) | |
| tree | 993c7c8750f1a42080b139ac216ecdb7b1780ae3 /src/theory/quantifiers/model_builder.h | |
| parent | 9f2ff7173d434162d49814ba3f24a9f9db21d476 (diff) | |
Fix compiler errors due to unbalanced throw specifiers.
Diffstat (limited to 'src/theory/quantifiers/model_builder.h')
| -rw-r--r-- | src/theory/quantifiers/model_builder.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/quantifiers/model_builder.h b/src/theory/quantifiers/model_builder.h index 47de4e581..a3d239d18 100644 --- a/src/theory/quantifiers/model_builder.h +++ b/src/theory/quantifiers/model_builder.h @@ -123,7 +123,7 @@ protected: //helper functions bool hasConstantDefinition( Node n ); public: QModelBuilderIG( context::Context* c, QuantifiersEngine* qe ); - virtual ~QModelBuilderIG(){} + virtual ~QModelBuilderIG() throw() {} public: //whether to add inst-gen lemmas virtual bool optInstGen(); @@ -192,7 +192,7 @@ protected: void constructModelUf( FirstOrderModel* fm, Node op ); public: QModelBuilderDefault( context::Context* c, QuantifiersEngine* qe ) : QModelBuilderIG( c, qe ){} - ~QModelBuilderDefault(){} + ~QModelBuilderDefault() throw() {} //options bool optReconsiderFuncConstants() { return true; } //has inst gen |