From af010d7283c4b9abbd610c93d9bc49d69e1eccfe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20K=C3=B6lker?= <jonaskoelker@yahoo.com>
Date: Thu, 8 Oct 2015 10:47:11 +0200
Subject: [PATCH] Remove a redundant line of code.

Setting me->anim_time = 0.0 right before calling midend_finish_move is
redundant, since midend_finish_move itself sets me->anim_time = 0.
---
 midend.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/midend.c b/midend.c
index 6fc5409..3165df2 100644
--- a/midend.c
+++ b/midend.c
@@ -574,7 +574,6 @@ void midend_restart_game(midend *me)
         me->ourgame->changed_state(me->ui,
                                    me->states[me->statepos-2].state,
                                    me->states[me->statepos-1].state);
-    me->anim_time = 0.0;
     midend_finish_move(me);
     midend_redraw(me);
     midend_set_timer(me);