diff --git a/compiler/util/src/org/jetbrains/jet/utils/Printer.java b/compiler/util/src/org/jetbrains/jet/utils/Printer.java index e8010cfd88e..0b09054182f 100644 --- a/compiler/util/src/org/jetbrains/jet/utils/Printer.java +++ b/compiler/util/src/org/jetbrains/jet/utils/Printer.java @@ -32,10 +32,10 @@ public class Printer { public void println(Object... objects) { print(objects); - println(); + printLineSeparator(); } - private void println() { + private void printLineSeparator() { out.append(System.getProperty("line.separator")); } @@ -52,7 +52,7 @@ public class Printer { public void printlnWithNoIndent(Object... objects) { printWithNoIndent(objects); - println(); + printLineSeparator(); } public void pushIndent() {