ucsd-progsys/liquidhaskell — pull request #119 by nikivazou (2013-09-18 15:14:38+00:00)
Title: Fix for Termination

Fix for a bug in termination analysis:
The decreasing parameter in *NOW* checked to be non-negative.

Only 1 failing test: /benchmarks/text-0.11.2.3/Data/Text/Encoding.hs