From c3411d07845617d86d631426077ae504731f59d4 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 4 Sep 2015 14:57:28 +0200
Subject: [PATCH] Catch more errors here
---
src/main/scala/leon/solvers/z3/FairZ3Solver.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/solvers/z3/FairZ3Solver.scala b/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
index 89d19afb9..f858ef12d 100644
--- a/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
+++ b/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
@@ -218,7 +218,7 @@ class FairZ3Solver(val context: LeonContext, val program: Program)
solver.assertCnstr(cl)
}
} catch {
- case _: SolverUnsupportedError =>
+ case _: Unsupported =>
addError()
}
}
--
GitLab