diff --git a/README.md b/README.md index 7ef8a72..7f87967 100644 --- a/README.md +++ b/README.md @@ -48,7 +48,7 @@ During the post-build phase, the hook will check whether this flag is enabled and, if it is, will run the LiquidHaskell binary with the appropriate command line arguments and your package's source files. This assumes, of course, that the LiquidHaskell binary is installed and available in `$PATH` (please make -sure you have the latest stable version installed). +sure you have a version >= 0.6.0.0 installed). Via stack, this flag can be enabled on the fly with `--flag :liquidhaskell`; for example: diff --git a/src/LiquidHaskell/Cabal.hs b/src/LiquidHaskell/Cabal.hs index d4d75d8..643b731 100644 --- a/src/LiquidHaskell/Cabal.hs +++ b/src/LiquidHaskell/Cabal.hs @@ -33,7 +33,7 @@ -- enabled and, if it is, will run the LiquidHaskell binary with the -- appropriate command line arguments and your package's source files. This -- assumes, of course, that the LiquidHaskell binary is installed and available --- in @$PATH@ (please make sure you have the latest stable version installed). +-- in @$PATH@ (please make sure you have a version >= 0.6.0.0 installed). -- -- Via stack, this flag can be enabled on the fly with -- @--flag :liquidhaskell@; for example: