diff options
Diffstat (limited to 'api/dotty/tools/dotc/ast/untpd$/InfixOp.html')
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/InfixOp.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/api/dotty/tools/dotc/ast/untpd$/InfixOp.html b/api/dotty/tools/dotc/ast/untpd$/InfixOp.html index 6c37523dc..84bd53ac5 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InfixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/InfixOp.html @@ -5377,7 +5377,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5472,7 +5472,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> @@ -5723,7 +5723,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5837,7 +5837,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> |