Move Option to leon.collection

library/Option.scala → library/collection/Option.scala

 /* Copyright 2009-2014 EPFL, Lausanne */
 
-package leon
+package leon.collection
 
 import leon.annotation._
 

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 {