diff --git a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
index 419d37dbb2ed023adb713353b89d4c85a5077a1e..abf4e41693436fc61e76b53977e8fbf57a62999b 100644
--- a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
+++ b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
@@ -701,7 +701,7 @@ trait AbstractZ3Solver extends Solver {
                   case other =>
                     reporter.fatalError(
                       s"""|Don't know what to do with this declKind: $other
-                          |Expected type: ${tpe.asString}
+                          |Expected type: ${Option(tpe).map{_.asString}.getOrElse("")}
                           |Tree: $t
                           |The arguments are: $args""".stripMargin
                     )