Fixed Errors on Clang

cda-tum · Oct 5, 2022 · 4faa69c · 4faa69c
1 parent f3def16
commit 4faa69c
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/LogicTerm/TermImpl.cpp b/src/LogicTerm/TermImpl.cpp
@@ -240,9 +240,6 @@ bool TermImpl::deepEquals(const TermImpl& other) const {
     if (getNodes().size() != other.getNodes().size()) {
         return false;
     }
-    //    if (getID() != other.getID()) {
-    //        return false;
-    //    }
     if (getCType() != other.getCType()) {
         return false;
     }
@@ -251,7 +248,7 @@ bool TermImpl::deepEquals(const TermImpl& other) const {
             return false;
         }
     }
-    return true;
+    return this->getID() == other.getID();
 }
 void TermImpl::prettyPrint(std::ostream& os, int32_t printDepth) const {
     for (int32_t i = 0; i < printDepth; ++i) {