From f97265a1dbce331fab7df6802ea935cd294263d2 Mon Sep 17 00:00:00 2001
From: rsandifo-arm <richard.sandiford@arm.com>
Date: Mon, 8 Jan 2024 14:33:09 +0000
Subject: [PATCH] Fix cut-&-pasto in example [2]

Co-authored-by: Sander de Smalen <sander.desmalen@arm.com>
---
 main/acle.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main/acle.md b/main/acle.md
index 6f757cb4..4cfb3521 100644
--- a/main/acle.md
+++ b/main/acle.md
@@ -4712,7 +4712,7 @@ architectural state differently. For example:
    void (*ptr2)() __arm_out("za");
    void (*ptr3)() __arm_inout("za");
    void (*ptr4)() __arm_preserves("za");
-   void (*ptr4)();
+   void (*ptr5)();
 
    void test() {
      ptr1 = f1;    // OK