diff options
Diffstat (limited to 'api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html')
-rw-r--r-- | api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html b/api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html index e2fdd1d4a..4e738c4a8 100644 --- a/api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html +++ b/api/dotty/tools/dotc/parsing/Parsers$/OpInfo$.html @@ -5396,7 +5396,7 @@ <span class=""> operator: </span> - <a href="../../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a> + <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a> <span class="no-left">, </span> |