Fix typo

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

diff --git a/docs/examples/abstract/README.md b/docs/examples/abstract/README.md
index b13f74cf31edd2a8c61c6c4a6117c3930d583c62..b1c04c540c3a2c3afce6e099c627ef6637192492 100644 (file)
--- a/docs/examples/abstract/README.md
+++ b/docs/examples/abstract/README.md
@@ -10,7 +10,7 @@ This can be solved by replacing counter with the abstraction in `abstr.sv`.
 In order to do this we must first prove that the abstraction is correct. This is
 done with `sby -f abstr.sby`.
 
-Then we apply the abstriction by assuming what we have just proven and otherwise
+Then we apply the abstraction by assuming what we have just proven and otherwise
 turn `counter` into a cutpoint. See `props.sby` for details.
 
 Running `sby -f props.sby prv` proves the properties and `sby -f props.sby cvr`