Commit ce5671ae0289b05322c09bb80af2d3317acd544f Parent 0d546c29f28f6c185105a06d0fb3669f7647b9f2 Author John MacFarlane <jgm@berkeley.edu> Date Fri, 24 Jun 2016 21:55:27 -0700 Removed redundant check.