From 22b85bef20b17880eae31e4aef4a667bc9076511 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 14 Mar 2016 17:02:41 +0100
Subject: [PATCH] GrowableIterable did not actually sort the buffer
---
src/main/scala/leon/utils/GrowableIterable.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/utils/GrowableIterable.scala b/src/main/scala/leon/utils/GrowableIterable.scala
index 89c03107d..884f499c2 100644
--- a/src/main/scala/leon/utils/GrowableIterable.scala
+++ b/src/main/scala/leon/utils/GrowableIterable.scala
@@ -5,7 +5,7 @@ package leon.utils
import scala.collection.mutable.ArrayBuffer
class GrowableIterable[T](init: Seq[T], growth: Iterator[T], canGrow: () => Boolean) extends Iterable[T] {
- private val buffer = new ArrayBuffer[T]() ++ init
+ private var buffer = new ArrayBuffer[T]() ++ init
private val cachingIterator = new Iterator[T] {
def hasNext = canGrow() && growth.hasNext
@@ -27,6 +27,6 @@ class GrowableIterable[T](init: Seq[T], growth: Iterator[T], canGrow: () => Bool
}
def sortBufferBy[B](f: T => B)(implicit ord: math.Ordering[B]) = {
- buffer.sortBy(f)
+ buffer = buffer.sortBy(f)
}
}
--
GitLab