From 813fe4053f89b0946dc94c34068fbdfa3ee59324 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Tue, 19 Mar 2024 16:08:45 +0100
Subject: [PATCH] Fixed tiny error in collecting tags

---
 .../core/library/lang/rascalcore/check/CollectDeclaration.rsc   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) `<Tags tags> <Visibility visibility> alias
         
         return aalias(aliasName, params, s.getType(base));
     })[md5 = md5Hash("<current>")]);
-    collect(tags, typeVars + base, c);
+    collect([tags] + typeVars + base, c);
 } 
\ No newline at end of file