Commit 6549e9b1534d39a1d0f5d74e31edd93fba96f18a Parent 82d7f367580ffd1ccc306cfb7de4e35f3b99ea99 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 27 Dec 2014 12:55:32 -0700 Fixed shadowing error.