Commit 118f3ac48d003a566183380c6d35be63193b3f14
1 parent
32bcb20b
Exists in
master
whitespace cleanup
Showing
1 changed file
with
1 additions
and
1 deletions
Show diff stats
fz/util.pl
| @@ -3,7 +3,7 @@ | @@ -3,7 +3,7 @@ | ||
| 3 | % -- utility predicates ------------------------------------------------------- | 3 | % -- utility predicates ------------------------------------------------------- |
| 4 | 4 | ||
| 5 | % -- subset (SUB, SET, REST) -------------------------------------------------- | 5 | % -- subset (SUB, SET, REST) -------------------------------------------------- |
| 6 | - | 6 | + |
| 7 | subset(L, L, []). | 7 | subset(L, L, []). |
| 8 | subset(S, [H|T], R) :- subset_aux(T, H, S, R). | 8 | subset(S, [H|T], R) :- subset_aux(T, H, S, R). |
| 9 | 9 |