aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-02-08 11:58:24 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-02-08 11:58:24 +0000
commit572ebb4eb2d8316318c3700c14189a5794a1caef (patch)
treee94af473f1bad499e3932050a59601840d33d403 /api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html
parent7113af20c29c466dc8f96018d27d4d0637d985ea (diff)
downloaddotty-572ebb4eb2d8316318c3700c14189a5794a1caef.tar.gz
dotty-572ebb4eb2d8316318c3700c14189a5794a1caef.tar.bz2
dotty-572ebb4eb2d8316318c3700c14189a5794a1caef.zip
Update gh-pages site for 99679cffc0a5d20e7e7f3c090eb310a6134eeee7
Diffstat (limited to 'api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html')
-rw-r--r--api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html2
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>