diff --git a/replay/replay-internal.c b/replay/replay-internal.c index c013b23820..7b42767059 100644 --- a/replay/replay-internal.c +++ b/replay/replay-internal.c @@ -229,7 +229,7 @@ void replay_mutex_unlock(void) void replay_advance_current_step(uint64_t current_step) { - int diff = (int)(replay_get_current_step() - replay_state.current_step); + int diff = (int)(current_step - replay_state.current_step); /* Time can only go forward */ assert(diff >= 0);