From 5fbc99c94d65b7e3fc0212e9f1e49ae8907643fe Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 9 Sep 2021 17:25:10 -0700
Subject: update

---
 src/theory/theory.h | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'src/theory/theory.h')

diff --git a/src/theory/theory.h b/src/theory/theory.h
index b49d838b4..ccda5fa77 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -440,11 +440,6 @@ class Theory : protected EnvObj
     EFFORT_LAST_CALL = 200
   }; /* enum Effort */
 
-  static bool standardEffortOrMore(Effort e) { return e >= EFFORT_STANDARD; }
-  static bool standardEffortOnly(Effort e)
-  {
-    return e >= EFFORT_STANDARD && e < EFFORT_FULL;
-  }
   static bool fullEffort(Effort e) { return e == EFFORT_FULL; }
 
   /**
-- 
cgit v1.2.3