From 40aa0c37d597ca0c720d56c1e53c6d05907aa165 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Wed, 14 Feb 2024 00:54:15 +0100
Subject: [PATCH] Added missing import and return;

---
 src/org/rascalmpl/library/lang/rascal/tests/basic/Sets.rsc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/org/rascalmpl/library/lang/rascal/tests/basic/Sets.rsc b/src/org/rascalmpl/library/lang/rascal/tests/basic/Sets.rsc
index 38e220533bc..2b25b92cb0a 100644
--- a/src/org/rascalmpl/library/lang/rascal/tests/basic/Sets.rsc
+++ b/src/org/rascalmpl/library/lang/rascal/tests/basic/Sets.rsc
@@ -7,6 +7,7 @@
 }
 module lang::rascal::tests::basic::Sets
 
+import Exception;
 import Set;
 import List;
 import Relation;
@@ -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));