diff options
| author | totycro <totycro@unknown-horizons.org> | 2011-06-26 12:46:00 +0200 |
|---|---|---|
| committer | totycro <totycro@unknown-horizons.org> | 2011-06-26 12:46:00 +0200 |
| commit | 69fb9fab63b66884450444dfa04372f02c89e9da (patch) | |
| tree | 165d049b8c1fea8344603c75da7741b80f548ddc /bank-eiffel/retireeaccount.e | |
| parent | cf31e1f2788869624a9a363f7579838ddae369a2 (diff) | |
| download | foop-69fb9fab63b66884450444dfa04372f02c89e9da.tar.gz foop-69fb9fab63b66884450444dfa04372f02c89e9da.tar.bz2 foop-69fb9fab63b66884450444dfa04372f02c89e9da.zip | |
Added kovariante Eingangsparameter
Diffstat (limited to 'bank-eiffel/retireeaccount.e')
| -rw-r--r-- | bank-eiffel/retireeaccount.e | 2 |
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 | ||
| 14 | feature -- Basic operations | 14 | feature -- 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 |