diff --git a/test/contracts/let_patterns.aes b/test/contracts/let_patterns.aes
index 3a2590e..9ba1ba6 100644
--- a/test/contracts/let_patterns.aes
+++ b/test/contracts/let_patterns.aes
@@ -11,3 +11,5 @@ contract LetPatterns =
     let {x = i, y = j} = r
     x + a + b + n + i + j
 
+  entrypoint lc(xs : list(option(int))) : list(int) =
+    [ x | Some(x) <- xs ]