diff options
| author | manuel <manuel@mausz.at> | 2011-05-23 21:30:40 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2011-05-23 21:30:40 +0200 |
| commit | 9a787349e121be1ad9e83d4086244cd90422ee0e (patch) | |
| tree | d38564a498054f2b5fbc29fea7714d5ff2f62b8b /bank-eiffel/account.e | |
| parent | 1daf62f05c19e6f96d16d3688055dfd20d89d2b8 (diff) | |
| download | foop-9a787349e121be1ad9e83d4086244cd90422ee0e.tar.gz foop-9a787349e121be1ad9e83d4086244cd90422ee0e.tar.bz2 foop-9a787349e121be1ad9e83d4086244cd90422ee0e.zip | |
more tests
Diffstat (limited to 'bank-eiffel/account.e')
| -rw-r--r-- | bank-eiffel/account.e | 3 |
1 files changed, 2 insertions, 1 deletions
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 | |||
| 105 | 105 | ||
| 106 | remove_authorized_signer (an_authorized_signer: PERSON) | 106 | remove_authorized_signer (an_authorized_signer: PERSON) |
| 107 | require | 107 | require |
| 108 | authorized_signers_never_empty: get_authorized_signers.count >= 2 | 108 | authorized_signers_never_empty: (get_authorized_signers.has (an_authorized_signer) |
| 109 | and get_authorized_signers.count >= 2) or True | ||
| 109 | do | 110 | do |
| 110 | if authorized_signers.has (an_authorized_signer) then | 111 | if authorized_signers.has (an_authorized_signer) then |
| 111 | authorized_signers.prune (an_authorized_signer) | 112 | authorized_signers.prune (an_authorized_signer) |