diff --git a/src/main/scala/leon/plugin/Extractors.scala b/src/main/scala/leon/plugin/Extractors.scala
index b45fef576bbc8d06a87f9289f4be5822ec884fa5..a3313663baea11ad915e0229511f0a4426a27b5c 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
-      }}
+      }
     }