diff options
Diffstat (limited to 'api/dotty/tools/dotc/ast/untpd$/PrefixOp.html')
| -rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PrefixOp.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html b/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html index b83cb2bda..f397f6b11 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html @@ -5369,7 +5369,7 @@ <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5464,7 +5464,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> @@ -5611,7 +5611,7 @@ <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5677,7 +5677,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> |