From 3c5297561aa891c10eddde7ac7e00bd62ab3b7e0 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 6 Oct 2015 20:17:47 +0200
Subject: [PATCH] Take null into account
---
src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
index 419d37dbb..abf4e4169 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
)
--
GitLab