diff options
Diffstat (limited to 'src/theory/instantiator_default.h')
| -rw-r--r-- | src/theory/instantiator_default.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/instantiator_default.h b/src/theory/instantiator_default.h index 8e0e47231..967a0c1ca 100644 --- a/src/theory/instantiator_default.h +++ b/src/theory/instantiator_default.h @@ -32,7 +32,7 @@ protected: /** reset instantiation round */ void processResetInstantiationRound(Theory::Effort effort); /** process quantifier */ - int process(Node f, Theory::Effort effort, int e, int limitInst = 0); + int process( Node f, Theory::Effort effort, int e ); public: InstantiatorDefault(context::Context* c, QuantifiersEngine* ie, Theory* th); ~InstantiatorDefault() { } |