From 7def26ae19fba816679ece58cf0e324004caab78 Mon Sep 17 00:00:00 2001 From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com> Date: Tue, 17 Dec 2024 19:18:25 +0100 Subject: [PATCH] [exec.envs] Fix typo --- source/exec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index da2c91f221..e4bb77d9db 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -4982,7 +4982,7 @@ of all the \tcode{completion_signatures} specializations in the set \tcode{AdditionalSignatures}, \tcode{Vs...}, \tcode{Es...}, \tcode{Ss}. -\rSec1[exec.envs]{Queryable uilities} +\rSec1[exec.envs]{Queryable utilities} \rSec2[exec.prop]{Class template \tcode{prop}}