removing bogus fromIntegral signature
removing bogus fromIntegral signature
Merge branch 'specerror' of github.com:ucsd-progsys/liquidhaskell into specerror