diff options
Diffstat (limited to 'byterun/instrtrace.c')
| -rw-r--r-- | byterun/instrtrace.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/byterun/instrtrace.c b/byterun/instrtrace.c index 1932e08f6..3734d8241 100644 --- a/byterun/instrtrace.c +++ b/byterun/instrtrace.c @@ -181,9 +181,7 @@ caml_trace_value_file (value v, code_t prog, int proglen, FILE * f) fprintf (f, "%#lx", v); if (!v) return; - if (Is_atom (v)) - fprintf (f, "=atom%ld", v - Atom (0)); - else if (prog && v % sizeof (int) == 0 + if (prog && v % sizeof (int) == 0 && (code_t) v >= prog && (code_t) v < (code_t) ((char *) prog + proglen)) fprintf (f, "=code@%d", (code_t) v - prog); |