From 5aca16e65ee8b39f2a0fd8fdad97f3d2fd0c0d75 Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Wed, 5 Sep 2012 18:02:41 +0400
Subject: [PATCH] Replace "\n" with System.getProperty("line.separator")

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

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