diff options
Diffstat (limited to 'src/theory/quantifiers/modes.cpp')
-rw-r--r-- | src/theory/quantifiers/modes.cpp | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/theory/quantifiers/modes.cpp b/src/theory/quantifiers/modes.cpp index ebc1088a8..253f23561 100644 --- a/src/theory/quantifiers/modes.cpp +++ b/src/theory/quantifiers/modes.cpp @@ -59,24 +59,6 @@ std::ostream& operator<<(std::ostream& out, theory::quantifiers::LiteralMatchMod return out; } -std::ostream& operator<<(std::ostream& out, theory::quantifiers::AxiomInstMode mode) { - switch(mode) { - case theory::quantifiers::AXIOM_INST_MODE_DEFAULT: - out << "AXIOM_INST_MODE_DEFAULT"; - break; - case theory::quantifiers::AXIOM_INST_MODE_TRUST: - out << "AXIOM_INST_MODE_TRUST"; - break; - case theory::quantifiers::AXIOM_INST_MODE_PRIORITY: - out << "AXIOM_INST_MODE_PRIORITY"; - break; - default: - out << "AxiomInstMode!UNKNOWN"; - } - - return out; -} - std::ostream& operator<<(std::ostream& out, theory::quantifiers::MbqiMode mode) { switch(mode) { case theory::quantifiers::MBQI_GEN_EVAL: |