From 41079cd8e196817048812a51041086b31908fcc3 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 15 Feb 2016 20:53:43 +0100
Subject: Adress reviewer comments

---
 src/dotty/tools/dotc/core/Denotations.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/dotty/tools/dotc/core/Denotations.scala')

diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala
index 0f32d7ff3..b52c11201 100644
--- a/src/dotty/tools/dotc/core/Denotations.scala
+++ b/src/dotty/tools/dotc/core/Denotations.scala
@@ -591,7 +591,7 @@ object Denotations {
         this
       case _ =>
         if (coveredInterval.containsPhaseId(ctx.phaseId)) {
-          if (ctx.settings.debug.value) ctx.traceInvalid(this)
+          if (ctx.debug) ctx.traceInvalid(this)
           staleSymbolError
         }
         else NoDenotation
-- 
cgit v1.2.3