alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix typo

Browse source 
* spot/mc/ec.hh: here.
This commit is contained in:
Etienne Renault 2017-09-26 14:40:10 +02:00
parent d95428d245
commit fbf9d98e15
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/mc/ec.hh
View file

@ -67,7 +67,7 @@ namespace spot
/// \brief This method is called to notify the emptiness checks /// \brief This method is called to notify the emptiness checks
/// that a new state has been discovered. If this method return /// that a new state has been discovered. If this method return
/// false, the state will not be explored. The parameter \a dfsnum /// 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. /// The value on the ingoing edge to \a s.
bool push_state(product_state, unsigned dfsnum, acc_cond::mark_t cond) bool push_state(product_state, unsigned dfsnum, acc_cond::mark_t cond)
{ {