diff options
Diffstat (limited to 'byterun/main.c')
| -rw-r--r-- | byterun/main.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/byterun/main.c b/byterun/main.c index af20ad245..45e759c4a 100644 --- a/byterun/main.c +++ b/byterun/main.c @@ -78,8 +78,6 @@ static int read_trailer(fd, trail) return BAD_MAGIC_NUM; } -extern char * searchpath(); - int attempt_open(name, trail, do_open_script) char ** name; struct exec_trailer * trail; @@ -129,6 +127,8 @@ Algorithm: */ +extern void init_ieee_floats(); + #ifdef HAS_UI int caml_main(argc, argv) #else |