From 6071b8a8f65e4804bcba531d2bad9d37ffce2847 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Thu, 14 Mar 2024 12:09:08 +0100
Subject: [PATCH] rollback

---
 src/org/rascalmpl/library/util/Validator.rsc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/org/rascalmpl/library/util/Validator.rsc b/src/org/rascalmpl/library/util/Validator.rsc
index bd7f48652e6..c9e2c2c6eac 100644
--- a/src/org/rascalmpl/library/util/Validator.rsc
+++ b/src/org/rascalmpl/library/util/Validator.rsc
@@ -38,9 +38,9 @@ private data RuntimeException = none();
 	    name = getName(v);
 	    
         // there may be several constructors with this name; we try them all, backtracking over already validated sub-values:
-        for (/\cons(label(str otherName:name, def), list[Symbol] _symbols, list[Symbol] _kwTypes, set[Attr] _) := grammar[def]?[]
+        for (/\cons(label(str otherName:name, def), list[Symbol] symbols, list[Symbol] _kwTypes, set[Attr] _) := grammar[def]?[]
             // if the constructors with the right name are exhausted, we try the others (in relaxed mode)
-            || <true, name, def, /\cons(label(otherName, _), list[Symbol] _symbols, list[Symbol] _kwTypes, set[Attr] _)> := <relaxed, name, def, grammar[def]?[]>) {
+            || <true, name, def, /\cons(label(otherName, _), list[Symbol] symbols, list[Symbol] _kwTypes, set[Attr] _)> := <relaxed, name, def, grammar[def]?[]>) {
             children = getChildren(v);
             params = getKeywordParameters(v);