diff options
Diffstat (limited to 'output/outdbg.c')
| -rw-r--r-- | output/outdbg.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/output/outdbg.c b/output/outdbg.c index 84cccf73..a28e85f7 100644 --- a/output/outdbg.c +++ b/output/outdbg.c @@ -75,7 +75,8 @@ static void dbg_init(void) static void dbg_reset(void) { - fprintf(ofile, "*** pass reset: pass0 = %d, passn = %d\n", pass0, passn); + fprintf(ofile, "*** pass reset: pass0 = %d, passn = %"PRId64"\n", + pass0, passn); } static void dbg_cleanup(void) |