From e7cac3f8243ca7dd23a8fc9c830a567cb6fa689f Mon Sep 17 00:00:00 2001
From: Evgeny Kotelnikov <evgeny.kotelnikov@gmail.com>
Date: Tue, 15 Aug 2017 17:25:39 +0200
Subject: [PATCH] Add a missing case to TermTransformer

---
 Kernel/TermTransformer.cpp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/Kernel/TermTransformer.cpp b/Kernel/TermTransformer.cpp
index 95e94f839f..cbcff9e7ce 100644
--- 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());