Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Correct a few a/an.
[simgrid.git] / src / mc / mc_state.hpp
index c99c211..f57f397 100644 (file)
@@ -58,7 +58,7 @@ public:
  *   an actor cannot have more than one enabled transition at a given time.
  */
 class ActorState {
-  /* Possible exploration status of a actor transition in a state.
+  /* Possible exploration status of an actor transition in a state.
    * Either the checker did not consider the transition, or it was considered and still to do, or considered and done.
    */
   enum class InterleavingType {