From 118f3ac48d003a566183380c6d35be63193b3f14 Mon Sep 17 00:00:00 2001 From: Salvador Abreu Date: Wed, 15 Jul 2015 15:49:13 +0900 Subject: [PATCH] whitespace cleanup --- fz/util.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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