From 353fe9f5b3a09132ae5aa25780f3fd427a2632d8 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 5 May 2015 12:08:27 +0200
Subject: [PATCH] Redundant imports
---
src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
index 8d4d7c174..9c21bc903 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
@@ -20,8 +20,6 @@ import _root_.smtlib.parser.Commands.{Constructor => SMTConstructor, FunDef => _
import _root_.smtlib.parser.Terms.{
Identifier => SMTIdentifier,
Let => SMTLet,
- ForAll => SMTForall,
- Exists => SMTExists,
_
}
import _root_.smtlib.parser.CommandsResponses.{Error => ErrorResponse, _}
--
GitLab