diff options
Diffstat (limited to 'byterun/instrtrace.c')
| -rw-r--r-- | byterun/instrtrace.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/byterun/instrtrace.c b/byterun/instrtrace.c index de96d5105..aba978749 100644 --- a/byterun/instrtrace.c +++ b/byterun/instrtrace.c @@ -24,19 +24,19 @@ #include "opnames.h" #include "prims.h" -extern code_t start_code; +extern code_t caml_start_code; -long icount = 0; +long caml_icount = 0; -void stop_here () {} +void caml_stop_here () {} -int trace_flag = 0; +int caml_trace_flag = 0; -void disasm_instr(pc) +void caml_disasm_instr(pc) code_t pc; { int instr = *pc; - printf("%6ld %s", (long) (pc - start_code), + printf("%6ld %s", (long) (pc - caml_start_code), instr < 0 || instr > STOP ? "???" : names_of_instructions[instr]); pc++; switch(instr) { |