From 2aadccaf815d506ad7a60f05e4a2e69c8b323741 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Thu, 26 Apr 2012 19:46:44 +0200
Subject: [PATCH] Using Logger instead of println
---
src/main/scala/leon/InductionTactic.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/InductionTactic.scala b/src/main/scala/leon/InductionTactic.scala
index 5e14f1963..3bd7010f2 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 =>
--
GitLab