From c3bd69ce20a9250b772294885b57021c24e24a8e Mon Sep 17 00:00:00 2001
From: dotty-bot
Date: Mon, 10 Apr 2017 09:27:45 +0000
Subject: Update gh-pages site for 80f9b6da66cb4eeabfd5ab97e422752ff134d590
---
api/dotty/tools/dotc/core/SymDenotations.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'api/dotty/tools/dotc/core/SymDenotations.html')
diff --git a/api/dotty/tools/dotc/core/SymDenotations.html b/api/dotty/tools/dotc/core/SymDenotations.html
index 2de79b5f4..d5f99a625 100644
--- a/api/dotty/tools/dotc/core/SymDenotations.html
+++ b/api/dotty/tools/dotc/core/SymDenotations.html
@@ -5603,7 +5603,7 @@ should be done via this method.
- : NoSymbol$
+ : NoSymbol.type
--
cgit v1.2.3