diff --git a/src/org/rascalmpl/library/Relation.rsc b/src/org/rascalmpl/library/Relation.rsc index e88d2cf5449..0d249f2b2fa 100644 --- 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 { | <&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 { | <&T0 V0, &T1 V1> <- R, V1 notin S }; }