fixed wrong word

MatteP1 · MatteP1 · commit 62eb294e2ba0 · 2025-09-04T10:07:42.000+02:00
diff --git a/exercises/spin_lock.v b/exercises/spin_lock.v
@@ -201,7 +201,7 @@ Definition prog : expr :=
 
 (**
   [x] can take on the values of [0], [1], and [7]. However, we should
-  not observe [7], as it is overridden before the lock is released.
+  not observe [7], as it is overwritten before the lock is released.
 *)
 Lemma prog_spec : ⊢ WP prog {{ v, ⌜v = #0 ∨ v = #1⌝}}.
 Proof.
diff --git a/theories/spin_lock.v b/theories/spin_lock.v
@@ -210,7 +210,7 @@ Definition prog : expr :=
 
 (**
   [x] can take on the values of [0], [1], and [7]. However, we should
-  not observe [7], as it is overridden before the lock is released.
+  not observe [7], as it is overwritten before the lock is released.
 *)
 Lemma prog_spec : ⊢ WP prog {{ v, ⌜v = #0 ∨ v = #1⌝}}.
 Proof.
