From 572ebb4eb2d8316318c3700c14189a5794a1caef Mon Sep 17 00:00:00 2001
From: dotty-bot <felix.mulder@epfl.ch>
Date: Wed, 8 Feb 2017 11:58:24 +0000
Subject: Update gh-pages site for 99679cffc0a5d20e7e7f3c090eb310a6134eeee7

---
 api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html')

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>
                             
-- 
cgit v1.2.3