diff options
Diffstat (limited to 'api/dotty/tools/dotc/ast/untpd$/OpTree.html')
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/OpTree.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api/dotty/tools/dotc/ast/untpd$/OpTree.html b/api/dotty/tools/dotc/ast/untpd$/OpTree.html index bc45af5f3..e74f126cf 100644 --- a/api/dotty/tools/dotc/ast/untpd$/OpTree.html +++ b/api/dotty/tools/dotc/ast/untpd$/OpTree.html @@ -5485,7 +5485,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> |