diff --git a/proof/invariant-abstract/RISCV64/ArchCSpacePre_AI.thy b/proof/invariant-abstract/RISCV64/ArchCSpacePre_AI.thy
index dd1812171..c2532620f 100644
--- a/proof/invariant-abstract/RISCV64/ArchCSpacePre_AI.thy
+++ b/proof/invariant-abstract/RISCV64/ArchCSpacePre_AI.thy
@@ -9,7 +9,7 @@
  *)
 
 (*
-X64-specific CSpace invariants
+RISCV64-specific CSpace invariants
 *)
 
 theory ArchCSpacePre_AI