diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala
index 30c6f85a77f2ed9e33bd6e44f6d0a761659294b0..dbce5f32e36d4f26cc0a7017a77ef2a0d1f0e630 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