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/fix_code.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/fix_code.c')
| -rw-r--r-- | byterun/fix_code.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/byterun/fix_code.c b/byterun/fix_code.c index 3269aa473..20ef44ee6 100644 --- a/byterun/fix_code.c +++ b/byterun/fix_code.c @@ -41,10 +41,11 @@ void fixup_endianness(code, len) #ifdef THREADED_CODE -void thread_code(code, len, instr_table) +void ** instr_table; + +void thread_code(code, len) code_t code; asize_t len; - void * instr_table[]; { code_t p; len /= sizeof(opcode_t); @@ -77,7 +78,7 @@ void thread_code(code, len, instr_table) break; } } } - Assert(p = code + len); + Assert(p == code + len); } #endif |