diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-02-15 20:53:43 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-17 18:39:48 +0100 |
| commit | 41079cd8e196817048812a51041086b31908fcc3 (patch) | |
| tree | 6debb4c658245c285b8d2efab48b806f3dd2a02b /src/dotty/tools/dotc/core/Denotations.scala | |
| parent | 203dfaa2a7165340a43a4a1ca921df187067e188 (diff) | |
| download | dotty-41079cd8e196817048812a51041086b31908fcc3.tar.gz dotty-41079cd8e196817048812a51041086b31908fcc3.tar.bz2 dotty-41079cd8e196817048812a51041086b31908fcc3.zip | |
Adress reviewer comments
Diffstat (limited to 'src/dotty/tools/dotc/core/Denotations.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Denotations.scala | 2 |
1 files changed, 1 insertions, 1 deletions
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 |