diff --git a/src/main/scala/leon/purescala/Expressions.scala b/src/main/scala/leon/purescala/Expressions.scala
index ff999d780729946ecdbfceb592d9b2d83e3c6bbd..f25810f3caab6b0b2a789c96bad8a1f83aa14760 100644
--- a/src/main/scala/leon/purescala/Expressions.scala
+++ b/src/main/scala/leon/purescala/Expressions.scala
@@ -36,6 +36,7 @@ object Expressions {
     if (real zip formal forall { case (real, formal) => isSubtypeOf(real.getType, formal.getType)} ) {
       result.unveilUntyped
     } else {
+      //println(s"Failed to type as $result")
       //println(real map { r => s"$r: ${r.getType}"} mkString ", " )
       //println(formal map { r => s"$r: ${r.getType}" } mkString ", " )
       Untyped