Update version note

ucsd-progsys · Apr 6, 2016 · f862c3e · f862c3e
1 parent 0e9a77e
commit f862c3e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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 <package name>:liquidhaskell`; for example:

diff --git 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 <package name>:liquidhaskell@; for example: