diff options
Diffstat (limited to 'replay')
| -rw-r--r-- | replay/replay.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/replay/replay.c b/replay/replay.c index 0d33e82c95..e4673b3d92 100644 --- a/replay/replay.c +++ b/replay/replay.c @@ -291,8 +291,7 @@ void replay_start(void) } if (replay_blockers) { - error_report("Record/replay: %s", - error_get_pretty(replay_blockers->data)); + error_reportf_err(replay_blockers->data, "Record/replay: "); exit(1); } if (!use_icount) { |