ucsd-progsys/liquid-fixpoint — pull request #24 by nikivazou (2013-11-05 01:09:22+00:00)
Title: minor

Minor edit to make it compile