From 04c19bc7ccae1ce8e20733c075df5e9d6c448fc4 Mon Sep 17 00:00:00 2001 From: manuel Date: Wed, 29 Jun 2011 03:01:35 +0200 Subject: add replaceabality test --- bank-eiffel/bank.e | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'bank-eiffel/bank.e') diff --git a/bank-eiffel/bank.e b/bank-eiffel/bank.e index 8a3fd2c..7b7105c 100644 --- a/bank-eiffel/bank.e +++ b/bank-eiffel/bank.e @@ -53,7 +53,7 @@ feature {NONE} -- Initialization feature -- Basic operations - --fail_kovariant + fail_kovariant local retiree: RETIREE student: STUDENT @@ -74,7 +74,7 @@ feature -- Basic operations session do -- das auskommentieren, dann bekommt ihr eine exception wegen kovariant (das ist ein methodenaufruf): - fail_kovariant + --fail_kovariant from until over -- cgit v1.2.3