From 7d96ef3256ae3b61ef18d399b88f82718d9666d1 Mon Sep 17 00:00:00 2001 From: Akuli Date: Tue, 19 Dec 2023 14:10:59 +0200 Subject: [PATCH] Update tests/wrong_type/main_3_args.jou --- tests/wrong_type/main_3_args.jou | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/wrong_type/main_3_args.jou b/tests/wrong_type/main_3_args.jou index f91891ba..43bf2b22 100644 --- a/tests/wrong_type/main_3_args.jou +++ b/tests/wrong_type/main_3_args.jou @@ -1,4 +1,4 @@ def main( - a: int, b: int, c: int # Error: if the main() function takes parameters, it should be defined like this: def main(argc: int, argv: byte**) -> int + argc: int, argv: byte**, lol: int # Error: if the main() function takes parameters, it should be defined like this: def main(argc: int, argv: byte**) -> int ) -> int: return 0