diff --git a/src/main/scala/leon/InductionTactic.scala b/src/main/scala/leon/InductionTactic.scala
index 5e14f196318a74a53761f17dd9a8b06bd9c63f78..3bd7010f26f23b7959aaeedae351ce4a5ddfd517 100644
--- a/src/main/scala/leon/InductionTactic.scala
+++ b/src/main/scala/leon/InductionTactic.scala
@@ -65,8 +65,8 @@ class InductionTactic(reporter: Reporter) extends DefaultTactic(reporter) {
               new VerificationCondition(Implies(CaseClassInstanceOf(ccd, argAsVar), conditionForChild), funDef, VCKind.Postcondition, this)
             case _ => scala.sys.error("Abstract class has non-case class subtype.")
           }))
-          println("Induction tactic yields the following VCs:")
-          println(conditionsForEachChild.map(vc => vc.condition).mkString("\n"))
+          Logger.debug("Induction tactic yields the following VCs:\n" + 
+                        conditionsForEachChild.map(vc => vc.condition).mkString("\n"), 4, "induction")
           conditionsForEachChild
         }
       case None =>