diff options
Diffstat (limited to 'api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html')
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html b/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html index 329210ffb..dc9f6596e 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html @@ -5388,7 +5388,7 @@ <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> |