From bc56cb23a619414fb9d11e20de56501747f33c79 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 23 Apr 2015 17:32:35 +0200
Subject: [PATCH] Unused variable
---
src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala
index 4f6fcea25..9786890cf 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala
@@ -127,7 +127,7 @@ trait SMTLIBCVC4Target extends SMTLIBTarget {
case fm @ FiniteMap(elems) =>
import OptionManager._
val mt @ MapType(from, to) = fm.getType
- val ms = declareSort(mt)
+ declareSort(mt)
var m: Term = declareVariable(FreshIdentifier("mapconst", RawArrayType(from, leonOptionType(to))))
--
GitLab