From 2fd22ba0519ec6e79814b9295080fcf97635af04 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 11 May 2012 03:24:56 +0000
Subject: [PATCH] remove debug println
---
src/main/scala/leon/plugin/Extractors.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/plugin/Extractors.scala b/src/main/scala/leon/plugin/Extractors.scala
index b45fef576..a3313663b 100644
--- a/src/main/scala/leon/plugin/Extractors.scala
+++ b/src/main/scala/leon/plugin/Extractors.scala
@@ -673,10 +673,10 @@ trait Extractors {
}
object ExArrayClone {
- def unapply(tree: Apply): Option[Tree] = {println(tree); tree match {
+ def unapply(tree: Apply): Option[Tree] = tree match {
case Apply(Select(t, n), List()) if (n.toString == "clone") => Some(t)
case _ => None
- }}
+ }
}
--
GitLab