diff options
Diffstat (limited to 'api/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.html')
-rw-r--r-- | api/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.html b/api/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.html index 92e23f04a..768c7e792 100644 --- a/api/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.html +++ b/api/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.html @@ -6617,7 +6617,7 @@ RuntimeException - <span class="no-left">: None$</span> + <span class="no-left">: None.type</span> </div><!-- end member-title --> |