From 7a2bb6e726301d4414779b23b35ec55161d89795 Mon Sep 17 00:00:00 2001
From: Pedro Gonnet <gonnet@google.com>
Date: Wed, 17 May 2017 23:00:57 +0200
Subject: [PATCH] clean up forgotten counter.
---
src/runner.c | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/runner.c b/src/runner.c
index b16afd8024..b989e1ee12 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) {
--
GitLab