From c5998b0499dce954d58f0cda3e11fd959c71ba66 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 22 May 2015 17:51:41 +0200
Subject: [PATCH] No need to change this
---
src/main/scala/leon/frontends/scalac/CodeExtraction.scala | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
index 44125a370..9e209b5d5 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?");
--
GitLab