diff options
Diffstat (limited to 'api/dotty/tools/dotc/core/Types$/ClassInfo$.html')
-rw-r--r-- | api/dotty/tools/dotc/core/Types$/ClassInfo$.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api/dotty/tools/dotc/core/Types$/ClassInfo$.html b/api/dotty/tools/dotc/core/Types$/ClassInfo$.html index f18e046eb..44039ab40 100644 --- a/api/dotty/tools/dotc/core/Types$/ClassInfo$.html +++ b/api/dotty/tools/dotc/core/Types$/ClassInfo$.html @@ -5594,7 +5594,7 @@ TypeRef - <span class="no-left">: NoType$</span> + <span class="no-left">: NoType.type</span> </div><!-- end member-title --> |