From b9a75e4db6a7404f843630423d117fc92af0a27d Mon Sep 17 00:00:00 2001
From: Will Hawkins <8715530+hawkinsw@users.noreply.github.com>
Date: Fri, 16 Oct 2020 19:14:15 -0400
Subject: [PATCH] Update README.md

Add a step during PRECiSA build to update the `cabal` packages to the latest list from Hackage.
---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 42acff5..a414238 100644
--- a/README.md
+++ b/README.md
@@ -58,6 +58,8 @@ If you want to use the SMT optimization you need [FPRock](https://github.com/nas
    ```
    $ cabal v1-sandbox init    # Creates a new sandbox.
                               # Old cabal versions may need the command `cabal sandbox init` instead
+			      
+   $ cabal v1-update          # Downloads the latest list of packages from the Hackage repository.			      
 
    $ cabal v1-install --enable-optimization --extra-lib-dirs=<kodiak-directory>
    ```