From 48378638bb8f5308ea3e18e94571aa21e431b054 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 16 May 2012 07:13:48 +0000
Subject: [PATCH] some changes
---
src/main/scala/leon/CallGraph.scala | 3 ---
1 file changed, 3 deletions(-)
diff --git a/src/main/scala/leon/CallGraph.scala b/src/main/scala/leon/CallGraph.scala
index ad78bfa11..b3402d39a 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())
}
--
GitLab