Update tests/wrong_type/main_3_args.jou

Akuli · Dec 19, 2023 · 7d96ef3 · 7d96ef3
1 parent 7b8ffa6
commit 7d96ef3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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