From 306fe8753a0a9906307cf761c31b48c24339d583 Mon Sep 17 00:00:00 2001
From: "JesusFreke@JesusFreke.com"
 <JesusFreke@JesusFreke.com@55b6fa8a-2a1e-11de-a435-ffa8d773f76a>
Date: Sat, 3 Apr 2010 23:02:31 +0000
Subject: [PATCH] Use the platform specific newline character/string

git-svn-id: https://smali.googlecode.com/svn/trunk@690 55b6fa8a-2a1e-11de-a435-ffa8d773f76a
---
 baksmali/src/main/java/org/jf/baksmali/IndentingWriter.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/baksmali/src/main/java/org/jf/baksmali/IndentingWriter.java b/baksmali/src/main/java/org/jf/baksmali/IndentingWriter.java
index 4367acaf..08beb308 100644
--- a/baksmali/src/main/java/org/jf/baksmali/IndentingWriter.java
+++ b/baksmali/src/main/java/org/jf/baksmali/IndentingWriter.java
@@ -36,6 +36,7 @@ public class IndentingWriter extends Writer {
     private final char[] buffer = new char[16];
     private int indentLevel = 0;
     private boolean beginningOfLine;
+    private static final String newLine = System.getProperty("line.separator");
 
     protected IndentingWriter(Writer writer) {
         this.writer = writer;
@@ -45,7 +46,7 @@ public class IndentingWriter extends Writer {
     public void write(int chr) throws IOException {
         //synchronized(lock) {
             if (chr == '\n') {
-                writer.write(chr);
+                writer.write(newLine);
                 beginningOfLine = true;
             } else {
                 if (beginningOfLine) {