From 332903c0ff75134311699217329875196474c41e Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 13 Oct 2015 17:36:10 +0200
Subject: [PATCH] Ok, let's print nothing by default
---
src/main/scala/leon/solvers/Solver.scala | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/solvers/Solver.scala b/src/main/scala/leon/solvers/Solver.scala
index 841a28e50..67ed8eae5 100644
--- a/src/main/scala/leon/solvers/Solver.scala
+++ b/src/main/scala/leon/solvers/Solver.scala
@@ -87,7 +87,8 @@ trait Solver extends Interruptible {
implicit lazy val leonContext = context
- def dbg(msg: => Any) = context.reporter.debug(msg)
+ // This is ugly, but helpful for smtlib solvers
+ def dbg(msg: => Any) {}
def assertCnstr(expression: Expr): Unit
def assertVC(vc: VC) = {
--
GitLab