Cant reset

src/main/scala/inox/solvers/CantResetException.scala

 /* Copyright 2009-2016 EPFL, Lausanne */
 
-package leon.solvers
+package inox.solvers
 
 class CantResetException(s: Solver) extends Exception(s"Unable to reset solver $s")

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 _ =>
     }
   }