From edd1e2552a906fae51b5d28a71429dcaebadff64 Mon Sep 17 00:00:00 2001
From: "Gustavo J. A. M. Carneiro" <gjc@inescporto.pt>
Date: Wed, 14 Jan 2009 12:46:06 +0000
Subject: [PATCH] Correct documentation

---
 src/simulator/simulator.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/simulator/simulator.h b/src/simulator/simulator.h
index d0d66a9c4..a0732fb53 100644
--- a/src/simulator/simulator.h
+++ b/src/simulator/simulator.h
@@ -97,8 +97,8 @@ public:
   static void Destroy (void);
 
   /**
-   * If there any any events lefts to be scheduled and simulation time
-   * has not yet reached the "stop time" (see Simulator::Stop()),
+   * If there are no more events lefts to be scheduled, or if simulation
+   * time has already reached the "stop time" (see Simulator::Stop()),
    * return true. Return false otherwise.
    */
   static bool IsFinished (void);