From bf781a9d25d318758a384487b4794545399f2952 Mon Sep 17 00:00:00 2001
From: berend <berend@pobox.com>
Date: Wed, 27 Aug 2008 04:26:44 +0000
Subject: [PATCH] Changed formatting a bit. Made it compile with SE 1.2r7

---
 json/json_number.e | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/json/json_number.e b/json/json_number.e
index 847b44da..698752b9 100644
--- a/json/json_number.e
+++ b/json/json_number.e
@@ -24,18 +24,18 @@ create
 
 feature -- initialization
 
-	make_integer (argument: INTEGER) is
+	make_integer (an_argument: INTEGER) is
 			-- Initialize  an instance of JSON_NUMBER as INTEGER
 		do
-			item:= argument.out
-			numeric_type:= INTEGER_TYPE
+			item := an_argument.out
+			numeric_type := INTEGER_TYPE
 		end
 
-	make_real (argument: REAL) is
+	make_real (an_argument: REAL) is
 			-- Initialize an instance of JSON_NUMBER as REAL
 		do
-			item:= argument.out
-			numeric_type:= REAL_TYPE
+			item := an_argument.out
+			numeric_type := REAL_TYPE
 		end
 
 
@@ -65,7 +65,7 @@ feature -- Status
 			-- Is `other' attached to an object of the same type
 			-- as current object and identical to it?
 		do
-			Result:=item.is_equal (other.item)
+			Result := item.is_equal (other.item)
 		end
 
 
@@ -73,7 +73,7 @@ feature -- Status
 feature -- Implementation
 
 	INTEGER_TYPE: INTEGER is 1
-	REAL_TYPE:INTEGER is 2
+	REAL_TYPE: INTEGER is 2
 	numeric_type: INTEGER