*** empty log message ***

1 files changed, 1 insertions, 1 deletions

diff --git a/test/files/pos/List1.scala b/test/files/pos/List1.scala
index ea25a5c5d5..a6d4e78f8c 100644
--- a/test/files/pos/List1.scala
+++ b/test/files/pos/List1.scala
@@ -32,7 +32,7 @@ module lists {
   class IntList() extends List[Int] {
     def isEmpty: Boolean = False;
     def head: Int = 1;
-    def foo: List[Int] with { def isEmpty: Boolean; def head: Int; def tail: List[Int] } = Nil[Int];
+    def foo: List[Int] { def isEmpty: Boolean; def head: Int; def tail: List[Int] } = Nil[Int];
     def tail0: List[Int] = foo.prepend(1).prepend(1+1);
     def tail: List[Int] = Nil[Int].prepend(1).prepend(1+1);
   }