Merge pull request #1732 from ucsd-progsys/nikivazou-patch-1

ranjitjhala · web-flow · commit 1cab7e3758c7 · 2020-08-04T14:24:27.000-07:00
Update develop.md
diff --git a/docs/mkDocs/docs/develop.md b/docs/mkDocs/docs/develop.md
@@ -33,7 +33,7 @@ This is how you can use this:
 #### Stack
 
 ```
-LIQUID_DEV_MODE=true stack build
+env LIQUID_DEV_MODE=true stack build
 ```
 
 #### Cabal
