From a5a9b4895781168e5e93044f1278c8d1c2db3c86 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 3 Aug 2016 17:19:30 +0200
Subject: [PATCH] Blah
---
src/main/scala/inox/solvers/SolverFactory.scala | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/main/scala/inox/solvers/SolverFactory.scala b/src/main/scala/inox/solvers/SolverFactory.scala
index d3568ccfc..6409e544c 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
--
GitLab