From 251d49d13317998df7e353cdea889a71dbb3569b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 19 Nov 2022 18:55:30 +0700
Subject: [PATCH] remove outdated comment

---
 src/ast/simplifiers/eliminate_predicates.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/ast/simplifiers/eliminate_predicates.cpp b/src/ast/simplifiers/eliminate_predicates.cpp
index 3b14c8fa5..605ed1b10 100644
--- a/src/ast/simplifiers/eliminate_predicates.cpp
+++ b/src/ast/simplifiers/eliminate_predicates.cpp
@@ -357,8 +357,6 @@ void eliminate_predicates::try_resolve(func_decl* p) {
             ++num_neg;
 
     TRACE("elim_predicates", tout << "try resolve " << p->get_name() << " " << num_pos << " " << num_neg << "\n");
-    // TODO - probe for a definition
-    // generally, probe for binary clause equivalences in binary implication graph
     
     if (num_pos >= 4 && num_neg >= 2)
         return;