From 2ef9498d6f31bcddbfb4c6c09e381cf187e4ed35 Mon Sep 17 00:00:00 2001 From: Xiang Li Date: Wed, 28 May 2014 10:05:25 -0700 Subject: [PATCH] raft: remove TLA comment --- raft/log.go | 3 --- 1 file changed, 3 deletions(-) diff --git a/raft/log.go b/raft/log.go index 446726664..58f2c6e93 100644 --- a/raft/log.go +++ b/raft/log.go @@ -52,9 +52,6 @@ func (l *log) entries(i int) []Entry { } func (l *log) isUpToDate(i, term int) bool { - // LET upToDate == \/ m.mlastLogTerm > LastTerm(log[i]) - // \/ /\ m.mlastLogTerm = LastTerm(log[i]) - // /\ m.mlastLogIndex >= Len(log[i]) e := l.ents[l.lastIndex()] return term > e.Term || (term == e.Term && i >= l.lastIndex()) }