Skip to content
Snippets Groups Projects
Commit 3c529756 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Take null into account

parent f7f7ff1d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
+ 1
− 1
View file @ 3c529756
...@@ -701,7 +701,7 @@ trait AbstractZ3Solver extends Solver { ...@@ -701,7 +701,7 @@ trait AbstractZ3Solver extends Solver {
case other => case other =>
reporter.fatalError( reporter.fatalError(
s"""|Don't know what to do with this declKind: $other s"""|Don't know what to do with this declKind: $other
|Expected type: ${tpe.asString} |Expected type: ${Option(tpe).map{_.asString}.getOrElse("")}
|Tree: $t |Tree: $t
|The arguments are: $args""".stripMargin |The arguments are: $args""".stripMargin
) )
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment