Update README.md

jamestiotio · Oct 26, 2014 · c1481f4 · c1481f4
1 parent ef14ae9
commit c1481f4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -23,9 +23,9 @@ solver-aided DSLs.
 
 * Use Racket's `raco` tool to install Rosette as one of your Racket collections:
 
-  `$ cd rosette`
-  `$ raco link rosette`
-  `$ raco setup -l rosette`
+  `$ cd rosette`  
+  `$ raco link rosette`  
+  `$ raco setup -l rosette`  
 
 * Rosette ships with the [Kodkod](http://alloy.mit.edu/kodkod/) solver 
   binaries, but it also supports [Z3](http://z3.codeplex.com) and