diff options
Diffstat (limited to 'api/dotty/tools/dotc/parsing/Scanners$.html')
-rw-r--r-- | api/dotty/tools/dotc/parsing/Scanners$.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/api/dotty/tools/dotc/parsing/Scanners$.html b/api/dotty/tools/dotc/parsing/Scanners$.html index e9ca8d314..19a80a87e 100644 --- a/api/dotty/tools/dotc/parsing/Scanners$.html +++ b/api/dotty/tools/dotc/parsing/Scanners$.html @@ -5522,7 +5522,7 @@ </div> </div><!-- end member --> - <div id="$174$" class="member "> + <div id="$53$" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5535,7 +5535,7 @@ </span> <span class="member-name "> - $174$ + $53$ </span> |