Commit b75890e0fd7abb995d083b795c2cd45703b7cb22 Parent 3aaf80487cdd34cf374eb02e52e5836712b4e51b Author John MacFarlane <jgm@berkeley.edu> Date Mon, 3 Apr 2017 11:09:48 +0200 Removed abort outside of conditional (typo).