ucsd-progsys/liquidhaskell — pull request #269 by nikivazou (2014-11-24 03:13:34+00:00)
Title: Inline loop breaker

fix for #266