From 8f4352d4eac5eaaddf270294080964c320acc1e6 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 25 Mar 2015 17:16:59 +0100
Subject: [PATCH] Move Option to leon.collection
---
library/{ => collection}/Option.scala | 2 +-
src/test/resources/regression/repair/List1.scala | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
rename library/{ => collection}/Option.scala (98%)
diff --git a/library/Option.scala b/library/collection/Option.scala
similarity index 98%
rename from library/Option.scala
rename to library/collection/Option.scala
index 6a687490a..4263cc68e 100644
--- a/library/Option.scala
+++ b/library/collection/Option.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2014 EPFL, Lausanne */
-package leon
+package leon.collection
import leon.annotation._
diff --git a/src/test/resources/regression/repair/List1.scala b/src/test/resources/regression/repair/List1.scala
index 1e18ca898..cd2bc4044 100644
--- a/src/test/resources/regression/repair/List1.scala
+++ b/src/test/resources/regression/repair/List1.scala
@@ -5,6 +5,7 @@ package leon.custom
import leon._
import leon.lang._
import leon.annotation._
+import leon.collection._
sealed abstract class List0[T] {
def size: Int = (this match {
--
GitLab