From dcb4a4c1afcdba08b6f977e6d4a0f06ae1eff7a0 Mon Sep 17 00:00:00 2001
From: Anders Nilsson <anders.nilsson@cs.lth.se>
Date: Thu, 9 Nov 2006 16:17:06 +0100
Subject: [PATCH] Synching

---
 Types.jrag | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Types.jrag b/Types.jrag
index aa8379f..1f72e9b 100644
--- a/Types.jrag
+++ b/Types.jrag
@@ -61,6 +61,7 @@ aspect Restrictions {
 		if (restrictions == null) {
 			List l = new List();
 			collectRestrictions(l);
+			getSuperClass().decl().collectRestrictions(l);
 			restrictions = new Restrictions(l);
 		}
 		return restrictions;
-- 
GitLab