chore: fix typo in readme (#462)

opencompl · Jul 13, 2024 · 9f77b8e · 9f77b8e
1 parent b29c898
commit 9f77b8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -26,7 +26,7 @@ to enable workflows that include formal verification in the day-to-day of MLIR d
 - Next, run:
 
 ```
-git clone https://github.com/opencompl/lean-mlir.git && cd ssa && lake exe cache get && lake build
+git clone https://github.com/opencompl/lean-mlir.git && cd lean-mlir && lake exe cache get && lake build
 ```
 
 #### Core theorems