Remove (void)argc/v

1 files changed, 0 insertions, 2 deletions

diff --git a/tomo.c b/tomo.c
index 834732e6..054b9e44 100644
--- a/tomo.c
+++ b/tomo.c
@@ -317,8 +317,6 @@ int compile_executable(const char *filename, const char *object_files)
         "#include \"", filename, ".h\"\n"
         "\n"
         "int main(int argc, char *argv[]) {\n"
-        "(void)argc;\n"
-        "(void)argv;\n"
         "GC_INIT();\n"
         "srand(arc4random_uniform(UINT32_MAX));\n"
         "srand48(arc4random_uniform(UINT32_MAX));\n"