From ad143b3ac437ca6b0745b9d5a1c20a73c0b66992 Mon Sep 17 00:00:00 2001
From: Ondrej Popp <ondrej.popp70@gmail.com>
Date: Sat, 26 Apr 2025 13:13:42 +0200
Subject: [PATCH] [lex.pptoken] added \grammarterm around import-keyword,
 module-keyword and export-keyword in grammar

---
 source/lex.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/source/lex.tex b/source/lex.tex
index 6cf011e432..c05dcc3e00 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -499,9 +499,9 @@
 \begin{bnf}
 \nontermdef{preprocessing-token}\br
     header-name\br
-    import-keyword\br
-    module-keyword\br
-    export-keyword\br
+    \grammarterm{import-keyword}\br
+    \grammarterm{module-keyword}\br
+    \grammarterm{export-keyword}\br
     identifier\br
     pp-number\br
     character-literal\br