diff options
Diffstat (limited to 'src/theory/quantifiers/quant_util.h')
| -rw-r--r-- | src/theory/quantifiers/quant_util.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/quantifiers/quant_util.h b/src/theory/quantifiers/quant_util.h index bb3bd68e3..e324bc36f 100644 --- a/src/theory/quantifiers/quant_util.h +++ b/src/theory/quantifiers/quant_util.h @@ -134,11 +134,6 @@ class QuantifiersModule { * Called when a quantified formula q is asserted to the quantifiers theory */ virtual void assertNode(Node q) {} - /* Get the next decision request. - * - * Identical to Theory::getNextDecisionRequest(...) - */ - virtual Node getNextDecisionRequest( unsigned& priority ) { return TNode::null(); } /** Identify this module (for debugging, dynamic configuration, etc..) */ virtual std::string identify() const = 0; //----------------------------general queries |