Skip to content

Commit b210d6b

Browse files
authored
Fix List#toScala to convert this instead of a given list (#778)
1 parent dae38d1 commit b210d6b

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

frontends/library/stainless/collection/List.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -561,8 +561,8 @@ sealed abstract class List[T] {
561561
}
562562

563563
@extern @pure
564-
def toScala[A](list: List[A]): ScalaList[A] = {
565-
list.foldRight(ScalaList.empty[A])(_ :: _)
564+
def toScala: ScalaList[T] = {
565+
foldRight(ScalaList.empty[T])(_ :: _)
566566
}
567567
}
568568

0 commit comments

Comments
 (0)