Added type to avoid name clash

usethesource · Nov 4, 2024 · 3a3eb6c · 3a3eb6c
1 parent 382a5c7
commit 3a3eb6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/ATypeBase.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/ATypeBase.rsc
@@ -113,7 +113,7 @@ public AProduction choice(AType s, set[AProduction] choices){
     if(any(choice(AType _, set[AProduction] _)  <- choices)){
         // TODO: this does not work in interpreter and typechecker crashes on it (both related to the splicing)
         //return choice(s, { *(choice(Symbol t, set[AProduction] b) := ch ? b : {ch}) | ch <- choices });
-        changed = false;
+        bool changed = false;
         new_choices = {};
         for(ch <- choices){
             if(choice(AType _, set[AProduction] b) := ch){