diff --git a/test/contracts/operator_lambdas.aes b/test/contracts/operator_lambdas.aes index ade8f20..9f5b41e 100644 --- a/test/contracts/operator_lambdas.aes +++ b/test/contracts/operator_lambdas.aes @@ -3,7 +3,7 @@ include "List.aes" contract C = type state = int - function sum(l : list(bool)) : bool = List.foldl((||), false, l) + function any(l : list(bool)) : bool = List.foldl((||), false, l) entrypoint init() = let bad_application = (+)(1)