Merge pull request #274 from dr-hannibal/ykolerov-unused
authorTom Tromey <tom@tromey.com>
Tue, 23 Aug 2016 17:32:17 +0000 (11:32 -0600)
committerGitHub <noreply@github.com>
Tue, 23 Aug 2016 17:32:17 +0000 (11:32 -0600)
ARC: Remove unused variable


Trivial merge