diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala
index 1c2e6bdd0ba23498a3d4c705e7e37911c1f49629..5eb55860c10b0d2f612561ef72513465b704ffa2 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala
@@ -13,9 +13,9 @@ import TypeTrees._
 import TreeOps.simplestValue
 
 import _root_.smtlib.parser.Terms.{Identifier => SMTIdentifier, _}
-import _root_.smtlib.parser.Commands.{DefineSort, GetValue, NonStandardCommand, GetModel, DefineFun}
+import _root_.smtlib.parser.Commands.{DefineSort, GetModel, DefineFun}
 import _root_.smtlib.interpreters.Z3Interpreter
-import _root_.smtlib.parser.CommandsResponses.{SExprResponse, GetModelResponse}
+import _root_.smtlib.parser.CommandsResponses.GetModelResponse
 import _root_.smtlib.theories.Core.{Equals => SMTEquals, _}
 import _root_.smtlib.theories.ArraysEx