From 1ec36469f5df8cf26d584a1144b0e0f36234aa83 Mon Sep 17 00:00:00 2001
From: Marco Antognini <antognini.marco@gmail.com>
Date: Thu, 12 Nov 2015 17:03:09 +0100
Subject: [PATCH] No longer automatically ignore main function when extracting
AST
---
src/main/scala/leon/frontends/scalac/CodeExtraction.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
index aa1e07e3c..b76198f5d 100644
--- a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
+++ b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
@@ -153,7 +153,7 @@ trait CodeExtraction extends ASTExtractors {
}
private def isIgnored(s: Symbol) = {
- (annotationsOf(s) contains "ignore") || s.fullName.toString.endsWith(".main")
+ (annotationsOf(s) contains "ignore")
}
private def isLibrary(u: CompilationUnit) = Build.libFiles contains u.source.file.absolute.path
--
GitLab