diff --git a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
index 44125a3700d1cb1632518b274d85c62a33e4e207..9e209b5d54f7ba0c02b8ee6c78b4757a9187b2f0 100644
--- a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
+++ b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
@@ -858,10 +858,7 @@ trait CodeExtraction extends ASTExtractors {
         case ExFieldDef(_,_,_) =>
         case ExLazyFieldDef() => 
         case ExFieldAccessorFunction() => 
-        case d if // Various synthetic junk
-          isIgnored(d.symbol) ||
-          (d.symbol.isImplicit && d.symbol.isSynthetic ) ||
-          (d.symbol.isMethod && d.symbol.isSynthetic) =>
+        case d if isIgnored(d.symbol) || (d.symbol.isImplicit && d.symbol.isSynthetic) =>
         case tree =>
           println(tree)
           outOfSubsetError(tree, "Don't know what to do with this. Not purescala?");