Commit 732bb492959c4d1008c7f8bf5b26d9c45c3f6a95 Parent 94bcebbe205bcb82378b0d63bd217c4b375e5b15 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 10 Jan 2015 10:28:54 -0800 Removed unused import.