Fix unused variable warning
authorNicholas Feinberg <pleasingfung@gmail.com>
Fri, 26 Feb 2021 16:24:22 +0000 (08:24 -0800)
committerNicholas Feinberg <pleasingfung@gmail.com>
Fri, 26 Feb 2021 16:24:22 +0000 (08:24 -0800)
commitba0159d6e4224aaaf95efa4b174d8b893569f11b
treea298994add419350eb142d80d4ab5b75eac00619
parent1c28abb1165fe649f3cfe8f2075404471412b6c8
Fix unused variable warning
crawl-ref/source/skill-menu.cc