diff options
| author | manuel <manuel@mausz.at> | 2011-05-22 17:21:36 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2011-05-22 17:21:36 +0200 |
| commit | 0edc8e98e274aadadc09f58f26beac2557eb3659 (patch) | |
| tree | f14ce00a2b77d3bdeb6fa98e914530b1d3326ad6 /bank-eiffel/retireeaccount.e | |
| parent | c4fbebf96418f14fd5b9f407f6a63c925b8f41a3 (diff) | |
| download | foop-0edc8e98e274aadadc09f58f26beac2557eb3659.tar.gz foop-0edc8e98e274aadadc09f58f26beac2557eb3659.tar.bz2 foop-0edc8e98e274aadadc09f58f26beac2557eb3659.zip | |
some changes
Diffstat (limited to 'bank-eiffel/retireeaccount.e')
| -rw-r--r-- | bank-eiffel/retireeaccount.e | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bank-eiffel/retireeaccount.e b/bank-eiffel/retireeaccount.e index 3b935d7..3f56fd4 100644 --- a/bank-eiffel/retireeaccount.e +++ b/bank-eiffel/retireeaccount.e | |||
| @@ -10,4 +10,6 @@ class | |||
| 10 | inherit | 10 | inherit |
| 11 | ACCOUNT | 11 | ACCOUNT |
| 12 | 12 | ||
| 13 | invariant | ||
| 14 | authorized_signers_only_one: authorized_signers.count = 1 | ||
| 13 | end | 15 | end |