diff options
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 6a81f1897f..7d6139c52b 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2936,9 +2936,9 @@ trait Typers { self: Analyzer => } private[this] var typingIndent: String = "" - @inline def deindentTyping() = if (printTypings) typingIndent = typingIndent.substring(0, typingIndent.length() - 2) - @inline def indentTyping() = if (printTypings) typingIndent += " " - @inline def printTyping(s: => String) = if (printTypings) println(typingIndent+s) + @inline final def deindentTyping() = if (printTypings) typingIndent = typingIndent.substring(0, typingIndent.length() - 2) + @inline final def indentTyping() = if (printTypings) typingIndent += " " + @inline final def printTyping(s: => String) = if (printTypings) println(typingIndent+s) /** * @param tree ... |