Update src/smt/theory_str_noodler/formula.h

Co-authored-by: Juraj Síč <[email protected]>
VeriFIT · Feb 20, 2025 · d7add97 · d7add97
1 parent 76f6c7a
commit d7add97
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/smt/theory_str_noodler/formula.h b/src/smt/theory_str_noodler/formula.h
@@ -619,10 +619,6 @@ namespace smt::noodler {
         }
         // For transducer predicates we compare pointers (assuming linear memory model)
         if (lhs.is_transducer()) {
-            // compare pointer for equality
-            if (lhs.get_transducer() == rhs.get_transducer()) {
-                return false;
-            }
             // compare pointers
             return lhs.get_transducer() < rhs.get_transducer();
         }