diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/header.c | 4 | ||||
| -rw-r--r-- | stdlib/headernt.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/header.c b/stdlib/header.c index 30d1c4100..de09bd8b6 100644 --- a/stdlib/header.c +++ b/stdlib/header.c @@ -11,8 +11,8 @@ /* $Id$ */ -char * runtime_name = "cslrun"; -char * errmsg = "Cannot exec cslrun.\n"; +char * runtime_name = "ocamlrun"; +char * errmsg = "Cannot exec ocamlrun.\n"; int main(argc, argv) int argc; diff --git a/stdlib/headernt.c b/stdlib/headernt.c index c466dfe31..e33c0ab89 100644 --- a/stdlib/headernt.c +++ b/stdlib/headernt.c @@ -13,8 +13,8 @@ #include <process.h> -char * runtime_name = "cslrun.exe"; -char * errmsg = "Cannot find cslrun.exe\n"; +char * runtime_name = "ocamlrun.exe"; +char * errmsg = "Cannot find ocamlrun.exe\n"; int main(argc, argv) int argc; |