From c22e2d50d5fe478826abe1b49e471a88ed8230ac Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 25 Oct 2012 16:26:13 +0200
Subject: [PATCH] Rename PipeLine
---
src/main/scala/leon/Main.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index d67270144..c2ea3d878 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -92,7 +92,7 @@ object Main {
implicit def phaseToPipeline[F, T](phase: LeonPhase[F, T]): Pipeline[F, T] = new PipeCons(phase, new PipeNil())
- def computePipeLine(settings: Settings): Pipeline[List[String], PipelineControl] = {
+ def computePipeline(settings: Settings): Pipeline[List[String], PipelineControl] = {
import purescala.Definitions.Program
val pipeBegin = phaseToPipeline(plugin.ExtractionPhase)
@@ -129,7 +129,7 @@ object Main {
val ctx = processOptions(reporter, args.toList)
// Compute leon pipeline
- val pipeline = computePipeLine(ctx.settings)
+ val pipeline = computePipeline(ctx.settings)
var exec = PipelineControl()
do {
--
GitLab