Index: test/configurations/target_platform/front.c |
diff --git a/test/configurations/target_platform/front.c b/test/configurations/target_platform/front.c |
index 12b1d0aa3b9234c3f13c70999a75e3ae3912693c..7a91689ff5c13095c5cd7169ab18261224ef19f3 100644 |
--- a/test/configurations/target_platform/front.c |
+++ b/test/configurations/target_platform/front.c |
@@ -2,7 +2,7 @@ |
const char *message(void); |
-int main(int argc, char *argv[]) { |
+int main(void) { |
printf("%s\n", message()); |
return 0; |
} |