Eliminate PREPROCESS lemma property (#5827)

This is now possible since we always preprocess lemmas.

Note that the LemmaProperty on inferences may be redundant throughout the non-linear solver now.

1 files changed, 0 insertions, 8 deletions

diff --git a/src/theory/output_channel.cpp b/src/theory/output_channel.cpp
index e63b78486..e0bae8fae 100644
--- a/src/theory/output_channel.cpp
+++ b/src/theory/output_channel.cpp
@@ -41,10 +41,6 @@ bool isLemmaPropertyRemovable(LemmaProperty p)
 {
   return (p & LemmaProperty::REMOVABLE) != LemmaProperty::NONE;
 }
-bool isLemmaPropertyPreprocess(LemmaProperty p)
-{
-  return (p & LemmaProperty::PREPROCESS) != LemmaProperty::NONE;
-}
 bool isLemmaPropertySendAtoms(LemmaProperty p)
 {
   return (p & LemmaProperty::SEND_ATOMS) != LemmaProperty::NONE;
@@ -67,10 +63,6 @@ std::ostream& operator<<(std::ostream& out, LemmaProperty p)
     {
       out << " REMOVABLE";
     }
-    if (isLemmaPropertyPreprocess(p))
-    {
-      out << " PREPROCESS";
-    }
     if (isLemmaPropertySendAtoms(p))
     {
       out << " SEND_ATOMS";