diff --git a/src/main/scala/leon/CallGraph.scala b/src/main/scala/leon/CallGraph.scala
index ad78bfa11bdf81688efc62e53d5f8cab2f93f4bc..b3402d39a8dbb22ed34ce5d4d60fb2f9a14514fd 100644
--- a/src/main/scala/leon/CallGraph.scala
+++ b/src/main/scala/leon/CallGraph.scala
@@ -124,9 +124,6 @@ class CallGraph(val program: Program) {
     }
 
     //TODO: handle case where the target node is not found
-    println(history)
-    println(from)
-    println(to)
     rebuildPath(to, List())
   }