Fix typo in README (#4550)

`--recusrive` (sic) was spelled wrong. Co-authored-by: Bruce Collie <[email protected]> Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Jul 26, 2024 · 3c8248b · 3c8248b
1 parent c43051f
commit 3c8248b
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