Fix typo in README

runtimeverification · Jul 24, 2024 · 811c2ff · 811c2ff
1 parent b541491
commit 811c2ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -72,7 +72,7 @@ must first be installed.
 
 ## The Short Version
 
-Regardless of system, unless you cloned with `--recusrive` you will first
+Regardless of system, unless you cloned with `--recursive` you will first
 have to run `git submodule update --init --recursive`.
 
 You then need the build and runtime dependencies. If you are on a