diff options
Diffstat (limited to 'byterun/instrtrace.h')
| -rw-r--r-- | byterun/instrtrace.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/byterun/instrtrace.h b/byterun/instrtrace.h index b65aca87b..6b899766b 100644 --- a/byterun/instrtrace.h +++ b/byterun/instrtrace.h @@ -22,10 +22,10 @@ #include "mlvalues.h" #include "misc.h" -extern int trace_flag; -extern long icount; -void stop_here (void); -void disasm_instr (code_t pc); +extern int caml_trace_flag; +extern long caml_icount; +void caml_stop_here (void); +void caml_disasm_instr (code_t pc); #endif |