diff --git a/source/ranges.tex b/source/ranges.tex index eff1745eb3..708004ea91 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -9922,7 +9922,7 @@ then \tcode{E.base()}. \item - Otherwise, if \tcode{E} is specialization of \tcode{optional} and \tcode{E} + Otherwise, if \tcode{E} is a specialization of \tcode{optional} and \tcode{E} models \libconcept{view}, then \tcode{\exposidnc{decay-copy}(E)}. \item