Fixed error in type parameter

usethesource · Mar 24, 2024 · eb4fb31 · eb4fb31
1 parent e51bbe7
commit eb4fb31
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/library/Relation.rsc b/src/org/rascalmpl/library/Relation.rsc
@@ -363,7 +363,7 @@ import Relation;
 rangeR({<1,10>, <2,20>, <3,30>}, {30, 10});
 ```
 }
-public rel[&T0,&T1] rangeR (rel[&T0,&T1] R, set[&T2] S)
+public rel[&T0,&T1] rangeR (rel[&T0,&T1] R, set[&T1] S)
 {
   return { <V0, V1> | <&T0 V0, &T1 V1> <- R, V1 in S };
 }
@@ -379,7 +379,7 @@ import Relation;
 rangeX({<1,10>, <2,20>, <3,30>}, {30, 10});
 ```
 }
-public rel[&T0,&T1] rangeX (rel[&T0,&T1] R, set[&T2] S)
+public rel[&T0,&T1] rangeX (rel[&T0,&T1] R, set[&T1] S)
 {
   return { <V0, V1> | <&T0 V0, &T1 V1> <- R, V1 notin S };
 }