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$/InfixOp.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

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