From 0585315ba73a9ab621b2fbdcbb8b81883d748152 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 4 Aug 2016 17:04:06 +0200
Subject: [PATCH] Cant reset
---
src/main/scala/inox/solvers/CantResetException.scala | 2 +-
src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/inox/solvers/CantResetException.scala b/src/main/scala/inox/solvers/CantResetException.scala
index d92b3617d..59999fca4 100644
--- a/src/main/scala/inox/solvers/CantResetException.scala
+++ b/src/main/scala/inox/solvers/CantResetException.scala
@@ -1,5 +1,5 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.solvers
+package inox.solvers
class CantResetException(s: Solver) extends Exception(s"Unable to reset solver $s")
diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
index d6a3acd25..77e65512c 100644
--- a/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
+++ b/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
@@ -46,7 +46,7 @@ trait SMTLIBSolver extends Solver with SMTLIBTarget {
emit(Reset(), rawOut = true) match {
case ErrorResponse(msg) =>
reporter.warning(s"Failed to reset $name: $msg")
- throw new Exception() //CantResetException(this) FIXME
+ throw new CantResetException(this)
case _ =>
}
}
--
GitLab