mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Changed formatting a bit.

Browse Source 
Made it compile with SE 1.2r7
This commit is contained in:
berend
2008-08-27 04:26:44 +00:00
parent 31750efb8e
commit bf781a9d25
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
json/json_number.e
View File

@@ -24,17 +24,17 @@ create
feature -- initialization feature -- initialization
make_integer (argument: INTEGER) is make_integer (an_argument: INTEGER) is
-- Initialize an instance of JSON_NUMBER as INTEGER -- Initialize an instance of JSON_NUMBER as INTEGER
do do
item:= argument.out item := an_argument.out
numeric_type := INTEGER_TYPE numeric_type := INTEGER_TYPE
end end
make_real (argument: REAL) is make_real (an_argument: REAL) is
-- Initialize an instance of JSON_NUMBER as REAL -- Initialize an instance of JSON_NUMBER as REAL
do do
item:= argument.out item := an_argument.out
numeric_type := REAL_TYPE numeric_type := REAL_TYPE
end end