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.
This commit is contained in:
Jonas Kölker
2015-10-08 10:47:11 +02:00
committed by Simon Tatham
parent f3f0f009ff
commit af010d7283

View File

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