From 0cc6ed268a128813aa7082a574d64978784bb48f Mon Sep 17 00:00:00 2001
From: Eelis van der Weegen <eelis@eelis.net>
Date: Sun, 19 Jul 2026 23:07:29 +0200
Subject: [PATCH] [dcl.contract.func] Index 'pre'/'post' grammar occurrences.

---
 source/declarations.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/declarations.tex b/source/declarations.tex
index 6afaa33fc6..197e22df90 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -4668,12 +4668,12 @@
 
 \begin{bnf}
 \nontermdef{precondition-specifier}\br
-  \terminal{pre} \opt{attribute-specifier-seq} \terminal{(} conditional-expression \terminal{)}
+  \keyword{pre} \opt{attribute-specifier-seq} \terminal{(} conditional-expression \terminal{)}
 \end{bnf}
 
 \begin{bnf}
 \nontermdef{postcondition-specifier}\br
-  \terminal{post} \opt{attribute-specifier-seq} \terminal{(} \opt{result-name-introducer} conditional-expression \terminal{)}
+  \keyword{post} \opt{attribute-specifier-seq} \terminal{(} \opt{result-name-introducer} conditional-expression \terminal{)}
 \end{bnf}
 
 \pnum