1 files changed, 90 insertions, 90 deletions

diff --git a/cs/src/Ice/OutputBase.cs b/cs/src/Ice/OutputBase.cs
index d9a3697874b..68923169481 100755
--- a/cs/src/Ice/OutputBase.cs
+++ b/cs/src/Ice/OutputBase.cs
@@ -19,166 +19,166 @@ public class OutputBase
     public
     OutputBase()
     {
-	out_ = null;
-	pos_ = 0;
-	indent_ = 0;
-	indentSize_ = 4;
-	useTab_ = true;
-	indentSave_ = new Stack();
-	separator_ = true;
+        out_ = null;
+        pos_ = 0;
+        indent_ = 0;
+        indentSize_ = 4;
+        useTab_ = true;
+        indentSave_ = new Stack();
+        separator_ = true;
     }
     
     public
     OutputBase(TextWriter writer)
     {
-	out_ = writer;
-	pos_ = 0;
-	indent_ = 0;
-	indentSize_ = 4;
-	useTab_ = true;
-	indentSave_ = new Stack();
-	separator_ = true;
+        out_ = writer;
+        pos_ = 0;
+        indent_ = 0;
+        indentSize_ = 4;
+        useTab_ = true;
+        indentSave_ = new Stack();
+        separator_ = true;
     }
     
     public
     OutputBase(string s)
     {
-	out_ = new StreamWriter(s);
-	pos_ = 0;
-	indent_ = 0;
-	indentSize_ = 4;
-	useTab_ = true;
-	indentSave_ = new Stack();
-	separator_ = true;
+        out_ = new StreamWriter(s);
+        pos_ = 0;
+        indent_ = 0;
+        indentSize_ = 4;
+        useTab_ = true;
+        indentSave_ = new Stack();
+        separator_ = true;
     }
 
     virtual public void
     setIndent(int indentSize)
     {
-	indentSize_ = indentSize;
+        indentSize_ = indentSize;
     }
     
     virtual public void
     setUseTab(bool useTab)
     {
-	useTab_ = useTab;
+        useTab_ = useTab;
     }    
     
     public virtual void
     open(string s)
     {
-	try
-	{
-	    out_ = new StreamWriter(s);
-	}
-	catch(IOException)
-	{
-	}
+        try
+        {
+            out_ = new StreamWriter(s);
+        }
+        catch(IOException)
+        {
+        }
     }
     
     public virtual void
     print(string s)
     {
-	char[] arr = s.ToCharArray();
-	for(int i = 0; i < arr.Length; i++)
-	{
-	    if(arr[i] == '\n')
-	    {
-		pos_ = 0;
-	    }
-	    else
-	    {
-	    }
-	}
-	
-	out_.Write(s);
+        char[] arr = s.ToCharArray();
+        for(int i = 0; i < arr.Length; i++)
+        {
+            if(arr[i] == '\n')
+            {
+                pos_ = 0;
+            }
+            else
+            {
+            }
+        }
+        
+        out_.Write(s);
     }
     
     public virtual void
     inc()
     {
-	indent_ += indentSize_;
+        indent_ += indentSize_;
     }
     
     public virtual void
     dec()
     {
-	Debug.Assert(indent_ >= indentSize_);
-	indent_ -= indentSize_;
+        Debug.Assert(indent_ >= indentSize_);
+        indent_ -= indentSize_;
     }
     
     public virtual void
     useCurrentPosAsIndent()
     {
-	indentSave_.Push(indent_);
-	indent_ = pos_;
+        indentSave_.Push(indent_);
+        indent_ = pos_;
     }
     
     public virtual void
     zeroIndent()
     {
-	indentSave_.Push(indent_);
-	indent_ = 0;
+        indentSave_.Push(indent_);
+        indent_ = 0;
     }
     
     public virtual void
     restoreIndent()
     {
-	Debug.Assert(indentSave_.Count != 0);
-	indent_ = (int)indentSave_.Pop();
+        Debug.Assert(indentSave_.Count != 0);
+        indent_ = (int)indentSave_.Pop();
     }
     
     public virtual void
     nl()
     {
-	out_.WriteLine();
-	pos_ = 0;
-	separator_ = true;
-	
-	int indent = indent_;
-	
-	if(useTab_)
-	{
-	    while(indent >= 8)
-	    {
-		indent -= 8;
-		out_.Write('\t');
-		pos_ += 8;
-	    }
-	}
-	else
-	{
-	    while(indent >= indentSize_)
-	    {
-		indent -= indentSize_;
-		out_.Write("    ");
-		pos_ += indentSize_;
-	    }
-	}
-	
-	while(indent > 0)
-	{
-	    --indent;
-	    out_.Write(" ");
-	    ++pos_;
-	}
-	
-	out_.Flush();
+        out_.WriteLine();
+        pos_ = 0;
+        separator_ = true;
+        
+        int indent = indent_;
+        
+        if(useTab_)
+        {
+            while(indent >= 8)
+            {
+                indent -= 8;
+                out_.Write('\t');
+                pos_ += 8;
+            }
+        }
+        else
+        {
+            while(indent >= indentSize_)
+            {
+                indent -= indentSize_;
+                out_.Write("    ");
+                pos_ += indentSize_;
+            }
+        }
+        
+        while(indent > 0)
+        {
+            --indent;
+            out_.Write(" ");
+            ++pos_;
+        }
+        
+        out_.Flush();
     }
     
     public virtual void
     sp()
     {
-	if(separator_)
-	{
-	    out_.WriteLine();
-	}
+        if(separator_)
+        {
+            out_.WriteLine();
+        }
     }
     
     public virtual bool
     valid()
     {
-	return out_ != null;
+        return out_ != null;
     }
     
     protected internal TextWriter out_;