1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/pos/List1.scala b/test/files/pos/List1.scala
index a52c95b1c8..0e2ad848c9 100644
--- a/test/files/pos/List1.scala
+++ b/test/files/pos/List1.scala
@@ -8,7 +8,7 @@ module lists {
   }
 
   def Nil[a] = new List[a] {
-    def isEmpty = True;
+    def isEmpty: True.type = True;
     def head = error[a]("head of Nil");
     def tail = error[List[a]]("tail of Nil");
   }