From c3bd69ce20a9250b772294885b57021c24e24a8e Mon Sep 17 00:00:00 2001
From: dotty-bot <felix.mulder@epfl.ch>
Date: Mon, 10 Apr 2017 09:27:45 +0000
Subject: Update gh-pages site for 80f9b6da66cb4eeabfd5ab97e422752ff134d590

---
 api/dotty/tools/dotc/ast/untpd$/Modifiers$.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/api/dotty/tools/dotc/ast/untpd$/Modifiers$.html b/api/dotty/tools/dotc/ast/untpd$/Modifiers$.html
index c5dfecf2e..520bfcd1d 100644
--- a/api/dotty/tools/dotc/ast/untpd$/Modifiers$.html
+++ b/api/dotty/tools/dotc/ast/untpd$/Modifiers$.html
@@ -5595,7 +5595,7 @@
                 
 
                 
-                <span class="no-left">: Nil$</span>
+                <span class="no-left">: Nil.type</span>
                 
             </div><!-- end member-title -->
 
@@ -5643,7 +5643,7 @@
                 
 
                 
-                <span class="no-left">: Nil$</span>
+                <span class="no-left">: Nil.type</span>
                 
             </div><!-- end member-title -->
 
-- 
cgit v1.2.3