diff options
Diffstat (limited to 'api/dotty/tools/dotc/core/Symbols$')
-rw-r--r-- | api/dotty/tools/dotc/core/Symbols$/Symbol.html | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html index 968d4f46e..81438e96d 100644 --- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -5475,24 +5475,6 @@ <span class="no-left"> - sym: - </span> - Symbol - - - <span class="no-left">)</span> - </div> - </div> - - - - <div class="member"> - <div class="member-title"> - <span class="member-name">Symbol</span> - <span class="no-left">(</span> - - - <span class="no-left"> symbol: </span> Symbol @@ -5543,6 +5525,24 @@ </div> + + <div class="member"> + <div class="member-title"> + <span class="member-name">Symbol</span> + <span class="no-left">(</span> + + + <span class="no-left"> + sym: + </span> + Symbol + + + <span class="no-left">)</span> + </div> + </div> + + </div> <h1 class="section "> |