diff --git a/src/main/scala/leon/InductionTactic.scala b/src/main/scala/leon/InductionTactic.scala
index 3bd7010f26f23b7959aaeedae351ce4a5ddfd517..1d30adddf62825cf8184c9eb42aa8677bb28134f 100644
--- a/src/main/scala/leon/InductionTactic.scala
+++ b/src/main/scala/leon/InductionTactic.scala
@@ -131,8 +131,8 @@ class InductionTactic(reporter: Reporter) extends DefaultTactic(reporter) {
               }
               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
           }).toSeq
 
@@ -140,10 +140,6 @@ class InductionTactic(reporter: Reporter) extends DefaultTactic(reporter) {
         } else {
           Seq.empty
         }
-
-        // println("PRECS VCs FOR " + function.id.name)
-        // println(toRet.toList.map(vc => vc.posInfo + " -- " + vc.condition).mkString("\n\n"))
-
         toRet
       }
       case None => {