Synching

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;