Don't transform Options to Set and back

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)