diff --git a/src/main/scala/leon/solvers/Solver.scala b/src/main/scala/leon/solvers/Solver.scala
index 841a28e50b4c41a560b9f3f33651c4e8b6180f2c..67ed8eae5c0edd8ade7dd9c12adb90a3d0ec84e0 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) = {