From 42a7d31a72221a9adc12fed4175a0c09de10d4b5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Se=C3=A1n=20Healy?= Date: Mon, 20 Apr 2026 15:45:13 +0100 Subject: [PATCH] Fix `setof` issue. --- server.pl | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/server.pl b/server.pl index 36f5172..4d3e866 100755 --- a/server.pl +++ b/server.pl @@ -157,15 +157,16 @@ commits([Commit|Rest], [CommitInfo|CommitInfos]) :- commits(Rest, CommitInfos). list_set(ListOfList, Functor, Result) :- - setof( + findall( Item, ( member(L, ListOfList), Pred =.. [Functor, Item], member(Pred, L) ), - Result - ). + ResultList + ), + list_to_set(ResultList, Result). filetype_suffix(File, SuffixLower) :- split_string(File, ".", "", Parts), length(Parts, Length),