diff options
Diffstat (limited to 'bank-eiffel/bank.e')
| -rw-r--r-- | bank-eiffel/bank.e | 4 |
1 files changed, 2 insertions, 2 deletions
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 | |||
| 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 |
| @@ -74,7 +74,7 @@ feature -- Basic operations | |||
| 74 | session | 74 | session |
| 75 | do | 75 | do |
| 76 | -- das auskommentieren, dann bekommt ihr eine exception wegen kovariant (das ist ein methodenaufruf): | 76 | -- das auskommentieren, dann bekommt ihr eine exception wegen kovariant (das ist ein methodenaufruf): |
| 77 | fail_kovariant | 77 | --fail_kovariant |
| 78 | from | 78 | from |
| 79 | until | 79 | until |
| 80 | over | 80 | over |
