Fixed code formatting

cda-tum · Oct 5, 2022 · f3def16 · f3def16
1 parent 95b6e22
commit f3def16
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/LogicTerm/TermImpl.cpp b/src/LogicTerm/TermImpl.cpp
@@ -240,9 +240,9 @@ bool TermImpl::deepEquals(const TermImpl& other) const {
     if (getNodes().size() != other.getNodes().size()) {
         return false;
     }
-//    if (getID() != other.getID()) {
-//        return false;
-//    }
+    //    if (getID() != other.getID()) {
+    //        return false;
+    //    }
     if (getCType() != other.getCType()) {
         return false;
     }