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.

1 files changed, 0 insertions, 1 deletions

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);