typo fixed

rems-project · Aug 13, 2024 · 5db6f96 · 5db6f96
1 parent adc6e00
commit 5db6f96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq/Proofs/Revocation.v b/coq/Proofs/Revocation.v
@@ -6044,7 +6044,7 @@ Module CheriMemoryImplWithProofs
       apply store_lock_preserves, H.
 
   Qed.
-  Transpaent sizeof.
+  Transparent sizeof.
 
   Lemma memcpy_copy_data_fetch_bytes_spec
     {loc:location_ocaml}