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