diff --git a/source/time.tex b/source/time.tex index 8b15c6a629..8000d75afa 100644 --- a/source/time.tex +++ b/source/time.tex @@ -11553,7 +11553,7 @@ \begin{itemdescr} \pnum -The specialization \tcode{hash>} +The specialization \tcode{hash>} is enabled\iref{unord.hash} if and only if \tcode{hash} is enabled and \tcode{hash} is enabled.