From fbf9d98e158d2af7c7298f1c9469c53731cb35d6 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Tue, 26 Sep 2017 14:40:10 +0200
Subject: [PATCH] Fix typo

* spot/mc/ec.hh: here.
---
 spot/mc/ec.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/mc/ec.hh b/spot/mc/ec.hh
index 74079105b..58b69646a 100644
--- a/spot/mc/ec.hh
+++ b/spot/mc/ec.hh
@@ -67,7 +67,7 @@ namespace spot
     /// \brief This method is called to notify the emptiness checks
     /// that a new state has been discovered. If this method return
     /// false, the state will not be explored. The parameter \a dfsnum
-    /// specify an unique id for the state \a s. Parameter \a cond represents
+    /// specify a unique id for the state. Parameter \a cond represents
     /// The value on the ingoing edge to \a s.
     bool push_state(product_state, unsigned dfsnum, acc_cond::mark_t cond)
     {