mon: remove duplicated words

Signed-off-by: Li Peng <lip@dtdream.com>

diff --git a/src/mon/Paxos.h b/src/mon/Paxos.h
index 3f2a6337c19aa42cc12b0012437a3004368e008b..f2b0a3059e3155887b7eba2321fd156f7be79c8f 100644 (file)
--- a/src/mon/Paxos.h
+++ b/src/mon/Paxos.h
@@ -789,7 +789,7 @@ private:
    * knows something we don't and the Leader will have to abort the current
    * proposal in order to retry with the Proposal Number specified by the Peon.
    * It may also occur that the Peon replied with a lower Proposal Number, in
-   * which case we assume it is a reply to an an older value and we'll simply
+   * which case we assume it is a reply to an older value and we'll simply
    * drop it.
    * This function will also check if the Peon replied with an accepted but
    * yet uncommitted value. In this case, if its version is higher than our