Merge pull request #940 from TomMD/develop

Add liquiddesugar to install instructions.
ucsd-progsys · Mar 5, 2017 · 99866e4 · 99866e4
2 parents d4718df + 947e3d0
commit 99866e4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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