ucsd-progsys/liquidhaskell — pull request #239 by gridaphobe (2014-09-05 09:28:43+00:00)
Title: Fix more crashes due to holes

@ranjitjhala this fixes the two crashes you discovered, let's see if travis picks up any further problems..