From d6a5cc14b60f79c7a6a648ad0953816de0e817b0 Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Sat, 25 Apr 2020 07:00:34 -0400
Subject: [PATCH] Fix a comment

---
 compiler/builtins/src/unique.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/builtins/src/unique.rs b/compiler/builtins/src/unique.rs
index d10a421014..56d6fead90 100644
--- a/compiler/builtins/src/unique.rs
+++ b/compiler/builtins/src/unique.rs
@@ -444,7 +444,7 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
         unique_function(vec![list_type(UVAR1, TVAR1)], bool_type(UVAR2)),
     );
 
-    // len : List * -> Int
+    // len : Attr u (List *) -> Attr v Int
     add_type(
         Symbol::LIST_LEN,
         unique_function(vec![list_type(UVAR1, TVAR1)], int_type(UVAR2)),