Add a missing case to TermTransformer

ModelWriter · Aug 15, 2017 · e7cac3f · e7cac3f
1 parent ea5e4ab
commit e7cac3f
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/Kernel/TermTransformer.cpp b/Kernel/TermTransformer.cpp
@@ -175,6 +175,18 @@ Term* TermTransformer::transformSpecial(Term* term)
       }
     }
 
+    case Term::SF_LET_TUPLE: {
+      TermList binding = transform(sd->getBinding());
+      TermList body = transform(*term->nthArgument(0));
+
+      if ((binding == sd->getBinding()) && (body == *term->nthArgument(0))) {
+        return term;
+      } else {
+        return Term::createTupleLet(sd->getFunctor(), sd->getTupleSymbols(), binding, body, sd->getSort());
+      }
+      break;
+    }
+
     case Term::SF_TUPLE: {
       Term* tupleTerm = transform(sd->getTupleTerm());