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
 inherit
         ACCOUNT
 
+invariant
+        authorized_signers_only_one: authorized_signers.count = 1
 end