diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Target.scala
index 4f6fcea250187b93f87d49651efc4f8c41746603..9786890cfa805ce40f60ff74a3f590cd0aeffc30 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))))