From d416e5b4b137946cf4afa7a15418b937f3045d28 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Thu, 10 Nov 2016 18:06:24 +0100
Subject: [PATCH] Removed spurious prints
---
src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala
index 30c6f85a7..dbce5f32e 100644
--- a/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala
+++ b/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala
@@ -292,7 +292,6 @@ trait SMTLIBTarget extends Interruptible with ADTManagers {
case ADT(ADTType(id, tps), es) =>
val adt = ADTType(id, tps map bestRealType)
declareSort(adt)
- println(adt, constructors)
val constructor = constructors.toB(adt)
if (es.isEmpty) {
constructor
--
GitLab