diff --git a/src/main/scala/inox/solvers/CantResetException.scala b/src/main/scala/inox/solvers/CantResetException.scala
index d92b3617de8e7da06d8b74948807065f1cc4c7fc..59999fca43420ceab868ba6197a2979a94b51ab9 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 d6a3acd25ddaeb33891c477eb4ac2e18379dd531..77e65512c2af3cdedff8dd3c80ae3aa7b911b4fb 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 _ =>
     }
   }