From 01c332f947923b2c5b100a41ef172e91d244780f Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Thu, 25 Oct 2012 16:42:09 +0200
Subject: [PATCH] Fix in nsc config to make testing possible.
---
src/main/scala/leon/plugin/ExtractorPhase.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/leon/plugin/ExtractorPhase.scala b/src/main/scala/leon/plugin/ExtractorPhase.scala
index ef94d03e5..fdc271d53 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) {
--
GitLab