1 files changed, 0 insertions, 6 deletions
diff --git a/src/prop/theory_proxy.h b/src/prop/theory_proxy.h
index a227db5b4..74ee790d8 100644
--- a/src/prop/theory_proxy.h
+++ b/src/prop/theory_proxy.h
@@ -97,17 +97,11 @@ public:
 
   bool theoryNeedCheck() const;
 
-  void removeClausesAboveLevel(int level);
-
   /**
    * Notifies of a new variable at a decision level.
    */
   void variableNotify(SatVariable var);
 
-  void unregisterVar(SatLiteral lit);
-
-  void renewVar(SatLiteral lit, int level = -1);
-
   TNode getNode(SatLiteral lit);
 
   void notifyRestart();