diff options
| -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 |