From c647a1fbd1de23991feb0c6ff54909c239a177f5 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 8 Aug 2016 14:05:28 +0200
Subject: [PATCH] Don't need this error
---
.../inox/solvers/smtlib/SMTLIBUnsupportedError.scala | 10 ----------
1 file changed, 10 deletions(-)
delete mode 100644 src/main/scala/inox/solvers/smtlib/SMTLIBUnsupportedError.scala
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 3575f9fd3..000000000
--- 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)
--
GitLab