Note word error of _active(), take iif with if

Signed-off-by: Linbing <hawkerous@gmail.com>

diff --git a/src/mon/PaxosService.h b/src/mon/PaxosService.h
index 5c6b2872b095d481f32a7b0a69ce909faeee6534..df32c352159ad649aa80e02f57f919e286f695ca 100644 (file)
--- 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();