ucsd-progsys/liquidhaskell — pull request #47 by ranjitjhala (2013-03-29 00:00:11+00:00)
Title: misc changes to inccheck

uh oh.