diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index 98888aa5e19859bd062d98ed341089c2f3978642..a2e21282a7ab42742603b11e196f43a932825533 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -37,7 +37,9 @@ object Trees {
 
   case class LetTuple(binders: Seq[Identifier], value: Expr, body: Expr) extends Expr {
     binders.foreach(_.markAsLetBinder)
-    assert(value.getType.isInstanceOf[TupleType])
+    assert(value.getType.isInstanceOf[TupleType],
+           "The definition value in LetTuple must be of some tuple type; yet we got [%s]. In expr: \n%s".format(value.getType, this))
+
     val et = body.getType
     if(et != Untyped)
       setType(et)