Added kovariante Eingangsparameter

3 files changed, 3 insertions, 2 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
 
 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
diff --git a/bank-eiffel/studentaccount.e b/bank-eiffel/studentaccount.e
index abbb070..8367489 100644
--- a/bank-eiffel/studentaccount.e
+++ b/bank-eiffel/studentaccount.e
@@ -13,7 +13,7 @@ create
 
 feature -- Basic operations
 
-        add_authorized_signer (an_authorized_signer: PERSON)
+        add_authorized_signer (an_authorized_signer: STUDENT)
                 do
                         check
                                 authorized_signers_only_one: get_authorized_signers.count = 0
diff --git a/bank-eiffel/tests/test_account.e b/bank-eiffel/tests/test_account.e
index 0b6ac46..02d22a9 100644
--- a/bank-eiffel/tests/test_account.e
+++ b/bank-eiffel/tests/test_account.e
@@ -243,6 +243,7 @@ feature -- Test routines
                                 assert("RETIREEACCOUNT_ONE_RETIREE_ONLY_3", False)
                         else
                         end
+
                 rescue
                         if not (create {EXCEPTIONS}).is_developer_exception then
                                 retry_count := retry_count + 1