From 5152e254bad70381c943eac5417affc08082e889 Mon Sep 17 00:00:00 2001
From: Alasdair <alasdair.armstrong@cl.cam.ac.uk>
Date: Fri, 24 Jan 2025 15:50:31 +0000
Subject: [PATCH] Doc: Fix attributes in grammar section

---
 doc/asciidoc/parser.sed | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/asciidoc/parser.sed b/doc/asciidoc/parser.sed
index 84009847e..95e9bf507 100644
--- a/doc/asciidoc/parser.sed
+++ b/doc/asciidoc/parser.sed
@@ -35,7 +35,7 @@ s/TYPE/Type/g
 s/TyVar/TYPE_VARIABLE/g
 s/And/and/g
 s/As/as/g
-s/Attribute/$[ATTRIBUTE]/g
+s/Attribute/$[ATTRIBUTE/g
 s/Bidir/<->/g
 s/Forall/forall/g
 s/Bitzero/bitzero/g