Update README.Z3v4.5.md

verifast · Jan 17, 2017 · bc2d3fe · bc2d3fe
1 parent 47c19f2
commit bc2d3fe
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/README.Z3v4.5.md b/README.Z3v4.5.md
@@ -9,12 +9,12 @@ We will build Z3, including the Z3 OCaml API, from the sources found on https://
 - Install ocamlfind (`opam install ocamlfind`)
 - Download the Z3 source code from https://github.com/Z3Prover/z3
 - Build and install Z3 using the instructions from the README:
-  ```
-  python scripts/mk_make.py --ml
-  cd build
-  make
-  sudo make install
-  ```
+
+        python scripts/mk_make.py --ml
+        cd build
+        make
+        sudo make install
+
   We now have the Z3 OCaml modules in the directory printed by `ocamlfind query z3`, and we have the Z3 DLL (`libz3.dylib`) in `/usr/local/lib`.
 - Build VeriFast with Z3v4.5 support: in the VeriFast directory: `cd src; make Z3V4DOT5=yes`.
 - Even if VeriFast is built with Z3v4.5 support, Redux is the default prover. To use Z3, write `vfide -prover z3v4.5`.