On Fri, May 20, 2011 at 00:22, Matthew Flatt <mflatt at cs.utah.edu> wrote: > I've pushed a fix to the git repo. Thanks!