diff options
Diffstat (limited to 'stdlib')
-rw-r--r-- | stdlib/header.c | 4 | ||||
-rw-r--r-- | stdlib/headernt.c | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/stdlib/header.c b/stdlib/header.c index 9aba0684f..6e86ab551 100644 --- a/stdlib/header.c +++ b/stdlib/header.c @@ -14,9 +14,7 @@ char runtime_name [] = RUNTIME_NAME; char errmsg [] = "Cannot exec ocamlrun.\n"; -int main(argc, argv) - int argc; - char ** argv; +int main(int argc, char ** argv) { execv(runtime_name, argv); write(2, errmsg, sizeof(errmsg)-1); diff --git a/stdlib/headernt.c b/stdlib/headernt.c index e33c0ab89..0697d7984 100644 --- a/stdlib/headernt.c +++ b/stdlib/headernt.c @@ -16,9 +16,7 @@ char * runtime_name = "ocamlrun.exe"; char * errmsg = "Cannot find ocamlrun.exe\n"; -int main(argc, argv) - int argc; - char ** argv; +int main(int argc, char ** argv) { int retcode; retcode = spawnvp(P_WAIT, runtime_name, argv); |