From 16278362b20100edc35c7f354d8aa128b8245eb4 Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Thu, 5 Mar 2015 19:58:03 +0100
Subject: [PATCH] just cleaning up some imports for new version of smtlib
---
src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala
index 1c2e6bdd0..5eb55860c 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
--
GitLab