Commit 1f5e01bbacb790f8e1159d91d430e7bc023ffc98 Parent 977a9dd1cd0e5574799211d697b0889431fc0876 Author John MacFarlane <jgm@berkeley.edu> Date Fri, 9 Jan 2015 22:30:49 -0800 Use a switch instead of if-then-else.