Update compile.md

mfkiwl · May 1, 2021 · 47d8a05 · 47d8a05
1 parent 9544de3
commit 47d8a05
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/compile.md b/docs/compile.md
@@ -25,14 +25,14 @@ export PSPIN_RT=<path to the sw, e.g., /home/salvo/pspin/sw/>
 source sourceme.sh
 ```
 
-### 3) Verilate the hardware
+### Verilate the hardware
 
 Define `VERILATOR_HOME`:
 ```bash
 export VERILATOR_HOME=<path to verilator installation>
 ```
 
-Compile ```libpspin```:
+Compile `libpspin`:
 ```bash
 cd hw/verilator_model/