diff --git a/INSTALL.md b/INSTALL.md index 8d0dd71c49..e9210183c6 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -51,6 +51,7 @@ This requires that you have installed [stack][stack] (which we strongly recommen cabal sandbox init cabal sandbox add-source ./liquid-fixpoint + cabal sandbox add-source ./liquiddesugar cabal install ## Troubleshooting