diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBUnsupportedError.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBUnsupportedError.scala
deleted file mode 100644
index 3575f9fd30c50f1a05292fc616715bd24ef4e446..0000000000000000000000000000000000000000
--- a/src/main/scala/inox/solvers/smtlib/SMTLIBUnsupportedError.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-/* Copyright 2009-2016 EPFL, Lausanne */
-
-package leon
-package solvers
-package smtlib
-
-import purescala.Common.Tree
-
-case class SMTLIBUnsupportedError(t: Tree, s: SMTLIBTarget, reason: Option[String] = None)
-  extends Unsupported(t, s" is unsupported by ${s.targetName}" + reason.map(":\n  " + _ ).getOrElse(""))(s.context)