From 69fb9fab63b66884450444dfa04372f02c89e9da Mon Sep 17 00:00:00 2001 From: totycro Date: Sun, 26 Jun 2011 12:46:00 +0200 Subject: Added kovariante Eingangsparameter --- bank-eiffel/retireeaccount.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bank-eiffel/retireeaccount.e') 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 feature -- Basic operations - add_authorized_signer (an_authorized_signer: PERSON) + add_authorized_signer (an_authorized_signer: RETIREE) do check authorized_signers_only_one: get_authorized_signers.count = 0 -- cgit v1.2.3