From f0849327b5aa0f3be0748794e9699ab75e8bcf5e Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Wed, 25 Dec 2024 13:56:12 +0100
Subject: [PATCH] Added types

---
 src/org/rascalmpl/library/Type.rsc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/org/rascalmpl/library/Type.rsc b/src/org/rascalmpl/library/Type.rsc
index 840e18dd60a..3ccc265062c 100644
--- a/src/org/rascalmpl/library/Type.rsc
+++ b/src/org/rascalmpl/library/Type.rsc
@@ -133,9 +133,9 @@ public Production choice(Symbol s, set[Production] choices) {
 	} else {   
 	    // TODO: this does not work in interpreter and typechecker crashes on it (both related to the splicing)
 	    //return choice(s, { *(choice(Symbol t, set[Production] b) := ch ? b : {ch}) | ch <- choices });
-	    changed = false;
-	    new_choices = {};
-        for (ch <- choices) {
+	    bool changed = false;
+	    set[Production] new_choices = {};
+         for (Production ch <- choices) {
             if (choice(Symbol _, set[Production] b) := ch) {
 	    		    changed = true;
 	    		    new_choices += b;