From f6b9d08ca7497abd8acb3e6b1d5096a858984d33 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 23 Oct 2015 13:16:40 +0200
Subject: [PATCH] Indentation
---
src/main/scala/leon/Main.scala | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 45c62bd0d..9cc0dc9c6 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -141,7 +141,7 @@ object Main {
def computePipeline(ctx: LeonContext): Pipeline[List[String], Any] = {
import purescala.Definitions.Program
- import purescala.{FunctionClosure, RestoreMethods}
+ import purescala.RestoreMethods
import utils.FileOutputPhase
import frontends.scalac.{ExtractionPhase, ClassgenPhase}
import synthesis.SynthesisPhase
@@ -164,8 +164,8 @@ object Main {
val terminationF = ctx.findOptionOrDefault(optTermination)
val verifyF = ctx.findOptionOrDefault(optVerify)
val evalF = ctx.findOption(optEval).isDefined
- val inferInvF = ctx.findOptionOrDefault(optInferInv)
- val instrumentF = ctx.findOptionOrDefault(optInstrument)
+ val inferInvF = ctx.findOptionOrDefault(optInferInv)
+ val instrumentF = ctx.findOptionOrDefault(optInstrument)
val analysisF = verifyF && terminationF
if (helpF) {
--
GitLab