diff options
Diffstat (limited to 'api/dotty/tools/dotc/core/Denotations$/Denotation.html')
| -rw-r--r-- | api/dotty/tools/dotc/core/Denotations$/Denotation.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api/dotty/tools/dotc/core/Denotations$/Denotation.html b/api/dotty/tools/dotc/core/Denotations$/Denotation.html index be69b05b4..d407445b0 100644 --- a/api/dotty/tools/dotc/core/Denotations$/Denotation.html +++ b/api/dotty/tools/dotc/core/Denotations$/Denotation.html @@ -6242,7 +6242,7 @@ when seen from prefix <code>site</code>.</p> - <span class="no-left">: NoPrefix$</span> + <span class="no-left">: NoPrefix.type</span> </div><!-- end member-title --> |