diff options
| author | manuel <manuel@mausz.at> | 2011-06-28 17:58:20 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2011-06-28 17:58:20 +0200 |
| commit | 516a1ebac7ac24275d3f901907c345d9f0ca59c0 (patch) | |
| tree | b7c3f629654f9adaafaf3a74cf5579fdb440f4ee | |
| parent | 39c3f71da55654d58dbd1b33f37be41676a0b7f7 (diff) | |
| download | foop-516a1ebac7ac24275d3f901907c345d9f0ca59c0.tar.gz foop-516a1ebac7ac24275d3f901907c345d9f0ca59c0.tar.bz2 foop-516a1ebac7ac24275d3f901907c345d9f0ca59c0.zip | |
disable kovariant test
| -rw-r--r-- | bank-eiffel/bank.e | 2 |
1 files changed, 1 insertions, 1 deletions
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 | |||
| 53 | 53 | ||
| 54 | feature -- Basic operations | 54 | feature -- Basic operations |
| 55 | 55 | ||
| 56 | fail_kovariant | 56 | --fail_kovariant |
| 57 | local | 57 | local |
| 58 | retiree: RETIREE | 58 | retiree: RETIREE |
| 59 | student: STUDENT | 59 | student: STUDENT |