From fd1604d9734a64ea06152b5027b5e8c174743548 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 8 Mar 2016 11:15:20 +0100
Subject: [PATCH] Don't transform Options to Set and back
---
src/main/scala/leon/Main.scala | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index a29fb8721..90e222933 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -103,11 +103,11 @@ object Main {
val initReporter = new DefaultReporter(Set())
- val options = args.filter(_.startsWith("--")).toSet
+ val options = args.filter(_.startsWith("--"))
val files = args.filterNot(_.startsWith("-")).map(new java.io.File(_))
- val leonOptions: Set[LeonOption[Any]] = options.map { opt =>
+ val leonOptions: Seq[LeonOption[Any]] = options.map { opt =>
val (name, value) = try {
OptionsHelpers.nameValue(opt)
} catch {
@@ -139,8 +139,9 @@ object Main {
LeonContext(
reporter = reporter,
files = files,
- options = leonOptions.toSeq,
- interruptManager = new InterruptManager(reporter))
+ options = leonOptions,
+ interruptManager = new InterruptManager(reporter)
+ )
}
def computePipeline(ctx: LeonContext): Pipeline[List[String], Any] = {
@@ -221,7 +222,6 @@ object Main {
// Process options
val ctx = try {
processOptions(argsl)
-
} catch {
case LeonFatalError(None) =>
exit(error = true)
--
GitLab