Commit 99450139d6c41d6c8d6bc02b0d2fd825be4c6dbb Parent c5da0cc4f84211ebefc189771deabfec9e9eb8ed Author John MacFarlane <jgm@berkeley.edu> Date Sat, 17 Jan 2015 16:51:19 -0800 Moved place where we increment line number.