diff --git a/src/LogicTerm/TermImpl.cpp b/src/LogicTerm/TermImpl.cpp
index 7cff05a..19b99e4 100644
--- 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;
     }