diff options
Diffstat (limited to 'src/theory/quantifiers/quant_relevance.h')
| -rw-r--r-- | src/theory/quantifiers/quant_relevance.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/theory/quantifiers/quant_relevance.h b/src/theory/quantifiers/quant_relevance.h index 3396c2099..a16985d82 100644 --- a/src/theory/quantifiers/quant_relevance.h +++ b/src/theory/quantifiers/quant_relevance.h @@ -48,10 +48,7 @@ class QuantRelevance : public QuantifiersUtil /** identify */ std::string identify() const override { return "QuantRelevance"; } /** get number of quantifiers for symbol s */ - unsigned getNumQuantifiersForSymbol(Node s) - { - return d_syms_quants[s].size(); - } + size_t getNumQuantifiersForSymbol(Node s) const; private: /** map from quantifiers to symbols they contain */ |