aarch32-syntax: Remove references to x86

GaloisInc · Nov 21, 2024 · 03fc41f · 03fc41f
1 parent 41a6665
commit 03fc41f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/macaw-aarch32-syntax/README.md b/macaw-aarch32-syntax/README.md
@@ -12,8 +12,8 @@ This `ParserHooks` supports the following types and operations:
 
 **Operations**:
 
-- `get-reg :: AArch32Reg -> AArch32Regs -> t`: extract an x86 register
-- `set-reg :: AArch32Reg -> t -> AArch32Regs -> AArch32Regs`: set an x86 register
+- `get-reg :: AArch32Reg -> AArch32Regs -> t`: extract an AArch32 register
+- `set-reg :: AArch32Reg -> t -> AArch32Regs -> AArch32Regs`: set an AArch32 register
 - Registers:
   - `r0 :: AArch32Reg`
   - `r1 :: AArch32Reg`