Commit 75f231503d2b5854f1ff517402d2751811295bf7 Parent 9c3a7023014f961197bc27ff8360ce9e1b1d6c29 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 9 Apr 2016 12:56:24 -0700 Updated spec test