From 07445220e58898ac7d750ee4225047b5abd4bda1 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Fri, 12 Sep 2025 08:34:31 +0200
Subject: [PATCH] [exec.snd.expos] Remove \tcode on indefinite article

---
 source/exec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/exec.tex b/source/exec.tex
index f3c434677a..e87b52f52c 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -1385,7 +1385,7 @@
 \tcode{decltype(\exposid{FWD-ENV}(declval<Env>()))}.
 
 \pnum
-For a query object \tcode{q} and \tcode{a} subexpression \tcode{v},
+For a query object \tcode{q} and a subexpression \tcode{v},
 \tcode{\exposid{MAKE-ENV}(q, v)} is an expression \tcode{env}
 whose type satisfies \exposconcept{queryable}
 such that the result of \tcode{env.query(q)} has