diff --git a/src/main/scala/leon/purescala/ExprOps.scala b/src/main/scala/leon/purescala/ExprOps.scala
index 02510c7c8b10f26b3924c49d9a1f5d1715c9009f..228158152b81609e1531a4f7674549bdcb170313 100644
--- a/src/main/scala/leon/purescala/ExprOps.scala
+++ b/src/main/scala/leon/purescala/ExprOps.scala
@@ -416,6 +416,9 @@ object ExprOps extends GenTreeOps[Expr] {
           None
         }
 
+      case LetTuple(ids, Tuple(elems), body) =>
+        Some(ids.zip(elems).foldRight(body) { case ((id, elem), bd) => Let(id, elem, body) })
+
       /*case LetPattern(patt, e0, body) if isPurelyFunctional(e0) =>
         // Will turn the match-expression with a single case into a list of lets.
         // @mk it is not clear at all that we want this