Update README.md

YaccConstructor · Oct 16, 2015 · 61e1780 · 61e1780
1 parent f9fc63a
commit 61e1780
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -8,5 +8,6 @@ Support for [F* language](https://www.fstar-lang.org/) in Visual Studio IDE.
 ##How to install
  * Install MSVS-2015
  * Install [Z3 4.4.0](https://github.com/Z3Prover/z3/releases)
+ * Add path to Z3 binaries to system PATH variable
  * Install [FStar runtime](https://drive.google.com/file/d/0B2QL-2bhLX91YXo0MG1GZFljVGM/view?usp=sharing)
  * Install [FStar extension](https://drive.google.com/file/d/0B2QL-2bhLX91MTBVOTQ5WjZNTkE/view?usp=sharing)