diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-05-28 12:41:37 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-05-28 12:41:37 +0000 |
| commit | 280167a6a65e28caec9ef1af78204aea0b2bc6e4 (patch) | |
| tree | 555e074fac3b1b4f8a2b506bd3065c6c6c126642 /byterun/main.c | |
| parent | 7714c02c6802469aa3edab124086e9dbfcab081e (diff) | |
fix_code, meta, interp: remplacement de execute_bytecode par reify_bytecode.
lexing: ne plus faire de callbacks, incompatibles avec les threads.
autres: rectifications #includes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 |