From 9a787349e121be1ad9e83d4086244cd90422ee0e Mon Sep 17 00:00:00 2001 From: manuel Date: Mon, 23 May 2011 21:30:40 +0200 Subject: more tests --- bank-eiffel/account.e | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'bank-eiffel/account.e') diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e index 1fc62fb..7c127ec 100644 --- a/bank-eiffel/account.e +++ b/bank-eiffel/account.e @@ -105,7 +105,8 @@ feature -- Basic operations remove_authorized_signer (an_authorized_signer: PERSON) require - authorized_signers_never_empty: get_authorized_signers.count >= 2 + authorized_signers_never_empty: (get_authorized_signers.has (an_authorized_signer) + and get_authorized_signers.count >= 2) or True do if authorized_signers.has (an_authorized_signer) then authorized_signers.prune (an_authorized_signer) -- cgit v1.2.3