1 files changed, 1 insertions, 3 deletions
diff --git a/stdlib.pl b/stdlib.pl
index c4005cd..7e4822d 100644
--- a/stdlib.pl
+++ b/stdlib.pl
@@ -264,9 +264,7 @@ bagof(Template, Goal, Instances) :-
 	bagof_loop(Witness, S, Instances).
 
 bagof_loop(Witness, S, Instances) :-
-	S \== [],
-	member(W+T, S),
-	!,
+	[W+T|_] = S,
 	bagof_wt_list(S, W+T, WT_list),
 	bagof_split(WT_list, W_list, T_list),
 	( bagof_unify_list(Witness, W_list), Instances = T_list