ucsd-progsys/liquidhaskell — pull request #100 by nikivazou (2013-07-26 20:17:56+00:00)
Title: fix for #97, ignore rec calls from readVars

fix for #97, ignore rec calls from readVars