diff --git a/src/main/scala/leon/plugin/ExtractorPhase.scala b/src/main/scala/leon/plugin/ExtractorPhase.scala index ef94d03e53d357b4837173ff49cdf2d082fc3d97..fdc271d53cc641d587dde3fbef7b1520579f28e4 100644 --- a/src/main/scala/leon/plugin/ExtractorPhase.scala +++ b/src/main/scala/leon/plugin/ExtractorPhase.scala @@ -12,6 +12,8 @@ object ExtractionPhase extends LeonPhase[List[String], Program] { def run(ctx: LeonContext)(args: List[String]): Program = { val settings = new NSCSettings + settings.usejavacp.value = true + val compilerOpts = args.filterNot(_.startsWith("--")) val command = new CompilerCommand(compilerOpts, settings) {