Update README.md

jamestiotio · Aug 1, 2014 · 9301d4a · 9301d4a
1 parent 07c17f1
commit 9301d4a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -25,7 +25,7 @@ To install Rosette:
   binaries, but it also supports [Z3](http://z3.codeplex.com).  To use Z3, 
   download the binaries for your system and put them in the `rosette/bin` directory.
 
-  `$ ls rosette/bin`
+  `$ ls rosette/bin`  
   `kodkod z3`
 
 * Use Racket's raco tool to install Rosette as one of your Racket