diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
index 8d4d7c1743f37cd1afae3f7b59c346bcd6d321bd..9c21bc903c9165bcb392b68e742757d4e5332301 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, _}