Commit 636d6018ea6bc6697b6491e0e47c4ae1ccad32fe Parent 85d47d07d676b8bca1d98efee45d25af011a813b Author John MacFarlane <jgm@berkeley.edu> Date Tue, 11 Oct 2016 14:51:42 +0200 Ran 'make format' to reformat code.