From aef805123fa5949f742768759d5dc1fba5c9f7df Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Tue, 17 Feb 2015 18:25:05 +0100
Subject: [PATCH] remove a println
---
src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
index 6cfa02774..527330376 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
@@ -562,7 +562,6 @@ trait SMTLIBTarget {
FiniteArray(definedElements, Some(default), IntLiteral(size)).setType(at)
} else {
- println("size is: " + size)
val entries = for (i <- 0 to size-1) yield elems.getOrElse(IntLiteral(i), default)
FiniteArray(entries).setType(at)
--
GitLab