From 99a16b0ac78c3e33ec3f1c31e1fe1f5a6d38b5f0 Mon Sep 17 00:00:00 2001
From: Benjamin Franzke <benjaminfranzke@googlemail.com>
Date: Tue, 6 Nov 2012 11:31:11 +0100
Subject: tit4tat.pl: Coding style fixes in sum()

---
 tit4tat.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tit4tat.pl b/tit4tat.pl
index b997a00..ec0eccb 100644
--- a/tit4tat.pl
+++ b/tit4tat.pl
@@ -36,7 +36,7 @@ tit4tat(A, Hist, PayA, PayB) :-
 	pay2(A, Old, PayA, PayB).
 
 sum([], 0).
-sum([H|T], S):-sum(T, TMP), S is TMP + H.
+sum([H|T], S) :- sum(T, TMP), S is TMP + H.
 
 loop(end, _).
 loop(End, Hist, PayedA, PayedB):- End\=end,
-- 
cgit