summaryrefslogtreecommitdiffstats
path: root/bank-eiffel/retireeaccount.e
diff options
context:
space:
mode:
Diffstat (limited to 'bank-eiffel/retireeaccount.e')
-rw-r--r--bank-eiffel/retireeaccount.e2
1 files changed, 1 insertions, 1 deletions
diff --git a/bank-eiffel/retireeaccount.e b/bank-eiffel/retireeaccount.e
index 24ae004..df7bdf1 100644
--- a/bank-eiffel/retireeaccount.e
+++ b/bank-eiffel/retireeaccount.e
@@ -13,7 +13,7 @@ create
13 13
14feature -- Basic operations 14feature -- Basic operations
15 15
16 add_authorized_signer (an_authorized_signer: PERSON) 16 add_authorized_signer (an_authorized_signer: RETIREE)
17 do 17 do
18 check 18 check
19 authorized_signers_only_one: get_authorized_signers.count = 0 19 authorized_signers_only_one: get_authorized_signers.count = 0