diff options
Diffstat (limited to 'api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html')
| -rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html index 534342d41..1f110f491 100644 --- a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html +++ b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html @@ -5991,7 +5991,7 @@ Tree <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> @@ -6501,7 +6501,7 @@ Tree <span class=""> op: </span> - Name + Ident <span class="no-left">)</span> @@ -6573,7 +6573,7 @@ Tree <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> |