From a989d2cbf94091ee5a1f8cffe74ffc44bedc2c3f Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 21 May 2015 16:55:14 +0200
Subject: [PATCH] HeapSort -> Heaps in repair testcases

---
 testcases/repair/Heap/Heap.scala   | 2 +-
 testcases/repair/Heap/Heap1.scala  | 2 +-
 testcases/repair/Heap/Heap10.scala | 2 +-
 testcases/repair/Heap/Heap2.scala  | 2 +-
 testcases/repair/Heap/Heap3.scala  | 2 +-
 testcases/repair/Heap/Heap4.scala  | 2 +-
 testcases/repair/Heap/Heap5.scala  | 4 ++--
 testcases/repair/Heap/Heap6.scala  | 2 +-
 testcases/repair/Heap/Heap7.scala  | 2 +-
 testcases/repair/Heap/Heap8.scala  | 2 +-
 testcases/repair/Heap/Heap9.scala  | 2 +-
 11 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/testcases/repair/Heap/Heap.scala b/testcases/repair/Heap/Heap.scala
index 46be0f31a..547a11456 100644
--- a/testcases/repair/Heap/Heap.scala
+++ b/testcases/repair/Heap/Heap.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap1.scala b/testcases/repair/Heap/Heap1.scala
index 61ec4ac0f..39c1ee204 100644
--- a/testcases/repair/Heap/Heap1.scala
+++ b/testcases/repair/Heap/Heap1.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap10.scala b/testcases/repair/Heap/Heap10.scala
index 6847ed8cd..25e966e41 100644
--- a/testcases/repair/Heap/Heap10.scala
+++ b/testcases/repair/Heap/Heap10.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap2.scala b/testcases/repair/Heap/Heap2.scala
index 914fb0971..c97a9dd52 100644
--- a/testcases/repair/Heap/Heap2.scala
+++ b/testcases/repair/Heap/Heap2.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap3.scala b/testcases/repair/Heap/Heap3.scala
index 2adde538b..71445ba97 100644
--- a/testcases/repair/Heap/Heap3.scala
+++ b/testcases/repair/Heap/Heap3.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap4.scala b/testcases/repair/Heap/Heap4.scala
index ff78b3700..51cdb228b 100644
--- a/testcases/repair/Heap/Heap4.scala
+++ b/testcases/repair/Heap/Heap4.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap5.scala b/testcases/repair/Heap/Heap5.scala
index 17777f85c..bc1f16780 100644
--- a/testcases/repair/Heap/Heap5.scala
+++ b/testcases/repair/Heap/Heap5.scala
@@ -7,8 +7,8 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
- 
+object Heaps {
+   
   sealed abstract class Heap {
     val rank : Int = this match {
       case Leaf() => 0
diff --git a/testcases/repair/Heap/Heap6.scala b/testcases/repair/Heap/Heap6.scala
index a434b70c8..2fe845f16 100644
--- a/testcases/repair/Heap/Heap6.scala
+++ b/testcases/repair/Heap/Heap6.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap7.scala b/testcases/repair/Heap/Heap7.scala
index 9de2a20b6..3fdc90608 100644
--- a/testcases/repair/Heap/Heap7.scala
+++ b/testcases/repair/Heap/Heap7.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap8.scala b/testcases/repair/Heap/Heap8.scala
index 6ee493600..4816b219f 100644
--- a/testcases/repair/Heap/Heap8.scala
+++ b/testcases/repair/Heap/Heap8.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
diff --git a/testcases/repair/Heap/Heap9.scala b/testcases/repair/Heap/Heap9.scala
index 55520379e..649f67a3f 100644
--- a/testcases/repair/Heap/Heap9.scala
+++ b/testcases/repair/Heap/Heap9.scala
@@ -7,7 +7,7 @@
 import leon.lang._
 import leon.collection._
 
-object HeapSort {
+object Heaps {
  
   sealed abstract class Heap {
     val rank : Int = this match {
-- 
GitLab