chiark / gitweb /
Remove a redundant line of code.
authorJonas Kölker <jonaskoelker@yahoo.com>
Thu, 8 Oct 2015 08:47:11 +0000 (10:47 +0200)
committerSimon Tatham <anakin@pobox.com>
Wed, 14 Oct 2015 19:29:32 +0000 (20:29 +0100)
commitaf010d7283c4b9abbd610c93d9bc49d69e1eccfe
treefb05211f246e44ea6f4570a54726c426e7516c14
parentf3f0f009fffc078c441e388ccf7d0bd95dffc621
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