From eff9abb78c30bc76dd1d81e5848a4954696caae8 Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Wed, 1 Jan 2025 16:00:32 -0800 Subject: [PATCH] [editorial]: put exposition-only identifier in italics --- source/exec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index 0403d80807..ef896feb39 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -1636,7 +1636,7 @@ using @\exposid{tag-t}@ = tag_of_t; // \expos using @\exposid{state-t}@ = @\exposid{state-type}@; // \expos - static constexpr const auto& @\exposid{complete}@ = @\exposid{impls-for}@::@\exposid{complete}@; // \expos + static constexpr const auto& @\exposid{complete}@ = @\exposid{impls-for}@<@\exposid{tag-t}@>::@\exposid{complete}@; // \expos template requires @\exposconcept{callable}@