From e087d50a7f780817f05fdc450a8f8a82ae1416ec Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Thu, 9 Aug 2012 17:35:03 +0400
Subject: [PATCH] printlnWithNoIndent() added

---
 compiler/util/src/org/jetbrains/jet/utils/Printer.java | 5 +++++
 1 file changed, 5 insertions(+)

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;
     }