ucsd-progsys/liquidhaskell — pull request #51 by gridaphobe (2013-04-01 22:51:50+00:00)
Title: add --no-check-unknown flag to suppress "specification for unknown variable" errors

default is to throw the error

fixes #50