diff --git a/src/runner.c b/src/runner.c index b16afd80244ef40ce20715d85141b256c07b69a4..b989e1ee12d314d357fba21f0550fc6ac27e2d5b 100644 --- a/src/runner.c +++ b/src/runner.c @@ -738,8 +738,6 @@ void runner_do_ghost(struct runner *r, struct cell *c, int timer) { count = redo; if (count > 0) { - atomic_add(&runner_num_ghost_redos, count); - /* Climb up the cell hierarchy. */ for (struct cell *finger = c; finger != NULL; finger = finger->parent) {