Tweak README.

[ci skip]
jamestiotio · Feb 28, 2016 · e0c6b21 · e0c6b21
1 parent 7a03240
commit e0c6b21
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -22,7 +22,9 @@ solver-aided DSLs.
 
 * Create a `bin` subdirectory in the `rosette` directory:
 
-	`$ mkdir bin`
+	`$ mkdir bin`  
+	`$ ls`  
+	`bin doc rosette sdsl test LICENSE README.md`
 
 * Download or build a copy of the [Z3](https://github.com/Z3Prover/z3) solver, version 4.4.2.