diff --git a/src/main/scala/inox/solvers/SolverFactory.scala b/src/main/scala/inox/solvers/SolverFactory.scala
index d3568ccfc87b93d8dd2752cde09d43ece8d2cb69..6409e544cef3ba3545fc8dbfbbf671d4cdf9516e 100644
--- a/src/main/scala/inox/solvers/SolverFactory.scala
+++ b/src/main/scala/inox/solvers/SolverFactory.scala
@@ -4,7 +4,6 @@ package inox
 package solvers
 
 import scala.reflect.runtime.universe._
-import _root_.smtlib.interpreters._
 
 abstract class SolverFactory[+S <: Solver] {
   def getNewSolver(): S