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}}