From e10061ee96fc16ee43b368c916f9e2cb2386b6e1 Mon Sep 17 00:00:00 2001 From: linbing Date: Mon, 22 May 2017 08:32:28 +0800 Subject: [PATCH] Note word error of _active(), take iif with if Signed-off-by: Linbing --- src/mon/PaxosService.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mon/PaxosService.h b/src/mon/PaxosService.h index 5c6b2872b095d..df32c352159ad 100644 --- a/src/mon/PaxosService.h +++ b/src/mon/PaxosService.h @@ -187,7 +187,7 @@ private: * @remarks We only create a pending state we our Monitor is the Leader. * * @pre Paxos is active - * @post have_pending is true iif our Monitor is the Leader and Paxos is + * @post have_pending is true if our Monitor is the Leader and Paxos is * active */ void _active(); -- 2.39.5