1 files changed, 1 insertions, 1 deletions
diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e
index 0a7d202..78a293f 100644
--- a/bank-eiffel/account.e
+++ b/bank-eiffel/account.e
@@ -18,7 +18,7 @@ create
 -- -> if not: add a getter (via Result or so..) and move them to {NONE}
 -- much other stuff to test like: lower creditline so that balance will be invalid
-feature -- Access
+feature {NONE} -- Access
        creditline_range: ARRAY[REAL_64]
                attribute Result := ({like creditline_range}).default end --| Remove line when Void Safety is properly set

diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e index 0a7d202..78a293f 100644 --- a/bank-eiffel/account.e +++ b/bank-eiffel/account.e
@@ -18,7 +18,7 @@ create
18	-- -> if not: add a getter (via Result or so..) and move them to {NONE}	18	-- -> if not: add a getter (via Result or so..) and move them to {NONE}
19	-- much other stuff to test like: lower creditline so that balance will be invalid	19	-- much other stuff to test like: lower creditline so that balance will be invalid
20		20
21	feature -- Access	21	feature {NONE} -- Access
22		22
23	creditline_range: ARRAY[REAL_64]	23	creditline_range: ARRAY[REAL_64]
24	attribute Result := ({like creditline_range}).default end --\| Remove line when Void Safety is properly set	24	attribute Result := ({like creditline_range}).default end --\| Remove line when Void Safety is properly set