Skip to content

Commit

Permalink
Added missing import and return;
Browse files Browse the repository at this point in the history
  • Loading branch information
PaulKlint committed Feb 16, 2024
1 parent f34dc15 commit 40aa0c3
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/org/rascalmpl/library/lang/rascal/tests/basic/Sets.rsc
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
}
module lang::rascal::tests::basic::Sets

import Exception;
import Set;
import List;
import Relation;
Expand Down Expand Up @@ -135,6 +136,7 @@ test bool tst_getSingleFromExample(str input) {
@expected{CallFailed}
test bool tst_getSingleFromMore(str input, int i) {
getSingleFrom({input, i});
return false;
}

test bool tst_toList(set[int] S) = isEmpty(S) || size(S) == size(toList(S)) && all(x <- S, x in toList(S));
Expand Down

0 comments on commit 40aa0c3

Please sign in to comment.