diff --git a/fz/util.pl b/fz/util.pl index 4fcbeda..2f8fffa 100644 --- a/fz/util.pl +++ b/fz/util.pl @@ -3,7 +3,7 @@ % -- utility predicates ------------------------------------------------------- % -- subset (SUB, SET, REST) -------------------------------------------------- - + subset(L, L, []). subset(S, [H|T], R) :- subset_aux(T, H, S, R). -- libgit2 0.21.2