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.

diff --git a/midend.c b/midend.c
index 6fc5409d04a4d988e3ec3a13cbafc5760a170294..3165df2e5d6c368d778bd0f55c8190bf6ed46686 100644 (file)
--- 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);