Update README.

[ci skip]
jamestiotio · Feb 28, 2016 · 7a03240 · 7a03240
1 parent 4ddf1ec
commit 7a03240
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -24,7 +24,9 @@ solver-aided DSLs.
 
 	`$ mkdir bin`
 
-* Download or build a copy of the [Z3](https://github.com/Z3Prover/z3) solver, version 4.4.2.  Copy the `z3` executable (with no filename extension) to the `rosette/bin` directory.
+* Download or build a copy of the [Z3](https://github.com/Z3Prover/z3) solver, version 4.4.2.  
+
+* Copy the `z3` executable (with no filename extension) to the `rosette/bin` directory.
 
 ### Executing Rosette programs