From 7c7da2b1ca4ab3bce55b57b9c774d5ba362bef70 Mon Sep 17 00:00:00 2001
From: 0biha <unknown>
Date: Wed, 24 Dec 2014 20:23:58 +0100
Subject: Scanner generation with Coco

---
 Source/Core/Scanner.cs | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

(limited to 'Source/Core/Scanner.cs')

diff --git a/Source/Core/Scanner.cs b/Source/Core/Scanner.cs
index c6b15cc5..b23a46a4 100644
--- a/Source/Core/Scanner.cs
+++ b/Source/Core/Scanner.cs
@@ -229,16 +229,16 @@ public class Scanner {
 
 	private Buffer/*!*/ _buffer; // scanner buffer
 
-  public Buffer/*!*/ buffer {
-    get {
-      Contract.Ensures(Contract.Result<Buffer>() != null);
-      return this._buffer;
-    }
-    set {
-      Contract.Requires(value != null);
-      this._buffer = value;
-    }
-  }
+	public Buffer/*!*/ buffer {
+		get {
+			Contract.Ensures(Contract.Result<Buffer>() != null);
+			return this._buffer;
+		}
+		set {
+			Contract.Requires(value != null);
+			this._buffer = value;
+		}
+	}
 
 	Token/*!*/ t;          // current token
 	int ch;           // current input character
@@ -330,7 +330,7 @@ public class Scanner {
 	  Contract.Requires(fileName != null);
 		pt = tokens = new Token();  // first token is a dummy
 		t = new Token(); // dummy because t is a non-null field
-    this._buffer = new Buffer(s, true);
+		this._buffer = new Buffer(s, true);
 		this.errorHandler = errorHandler;
 		this.Filename = useBaseName? GetBaseName(fileName) : fileName;
 		Init();
-- 
cgit v1.2.3