ucsd-progsys/liquid-fixpoint — pull request #17 by nikivazou (2013-07-25 21:30:13+00:00)
Title: fix chopAlts

fix for ucsd-progsys/liquidhaskell#87

When chopping (xly) with the separator (l, r) and r does not exist in y,
(in the code `c' = r, s0 = x, s1 = ly`)
x (in the code `s0`) was lost