diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectDeclaration.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectDeclaration.rsc index def15d7f..569eb65d 100644 --- a/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectDeclaration.rsc +++ b/src/org/rascalmpl/core/library/lang/rascalcore/check/CollectDeclaration.rsc @@ -685,5 +685,5 @@ void collect (current: (Declaration) ` alias return aalias(aliasName, params, s.getType(base)); })[md5 = md5Hash("")]); - collect(tags, typeVars + base, c); + collect([tags] + typeVars + base, c); } \ No newline at end of file