From 0edc8e98e274aadadc09f58f26beac2557eb3659 Mon Sep 17 00:00:00 2001
From: manuel <manuel@mausz.at>
Date: Sun, 22 May 2011 17:21:36 +0200
Subject: some changes

---
 bank-eiffel/retireeaccount.e | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'bank-eiffel/retireeaccount.e')

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
-- 
cgit v1.2.3