Fix setof issue.

2026-04-20 15:45:13 +01:00
parent 01c291b85f
commit 42a7d31a72
1 changed files with 4 additions and 3 deletions
--- 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),