From 516a1ebac7ac24275d3f901907c345d9f0ca59c0 Mon Sep 17 00:00:00 2001 From: manuel Date: Tue, 28 Jun 2011 17:58:20 +0200 Subject: disable kovariant test --- bank-eiffel/bank.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bank-eiffel/bank.e b/bank-eiffel/bank.e index 4c48e48..8a3fd2c 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 -- cgit v1.2.3