diff --git a/Types.jrag b/Types.jrag index aa8379fd58c674580fb4ac48fbdfde57ad569983..1f72e9b3a28c7a889e2e4a41229aaa0db74768ea 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;