1 files changed, 0 insertions, 7 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h
index f52118ac4..9540d3921 100644
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -246,13 +246,6 @@ public:
   bool isSatLiteral(TNode node) const;
 
   /**
-   * Return true if node has an associated SAT literal that is
-   * currently translated (i.e., it's relevant to the current
-   * user push/pop level).
-   */
-  bool isTranslatedSatLiteral(TNode node) const;
-
-  /**
    * Check if the node has a value and return it if yes.
    */
   bool hasValue(TNode node, bool& value) const;