From 7823a3380a98aa3866c276e2a26b3fa212767f0d Mon Sep 17 00:00:00 2001
From: dotty-bot <felix.mulder@epfl.ch>
Date: Tue, 11 Apr 2017 19:19:12 +0000
Subject: Update gh-pages site for 10a1300b7599407a7c6078244c4b7692e339b39f

---
 api/dotty/tools/dotc/core/Contexts$/Context.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'api/dotty/tools/dotc/core/Contexts$/Context.html')

diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html
index e951b051c..b5924cd51 100644
--- a/api/dotty/tools/dotc/core/Contexts$/Context.html
+++ b/api/dotty/tools/dotc/core/Contexts$/Context.html
@@ -5833,7 +5833,7 @@ classes (which should be short-lived).</li>
                         
                         
                             <span class="no-left">
-                                c:
+                                ctx:
                             </span>
                             Context
                             
@@ -5899,7 +5899,7 @@ classes (which should be short-lived).</li>
                         
                         
                             <span class="no-left">
-                                ctx:
+                                c:
                             </span>
                             Context
                             
-- 
cgit v1.2.3