diff --git a/compiler/util/src/org/jetbrains/jet/utils/Printer.java b/compiler/util/src/org/jetbrains/jet/utils/Printer.java
index 01545fe008a..dacc2a294e5 100644
--- a/compiler/util/src/org/jetbrains/jet/utils/Printer.java
+++ b/compiler/util/src/org/jetbrains/jet/utils/Printer.java
@@ -46,6 +46,11 @@ public class Printer {
         }
     }
 
+    public void printlnWithNoIndent(Object... objects) {
+        printWithNoIndent(objects);
+        out.append("\n");
+    }
+
     public void pushIndent() {
         indent += INDENTATION_UNIT;
     }