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

* src/ltlast/formula.hh: Typos in comments.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2011-05-23 15:08:24 +02:00
parent 8ecf57e832
commit bd720488b4
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ltlast/formula.hh
View file

@ -140,13 +140,13 @@ namespace spot
return is.in_nenoform;
}
/// Whether the formula avoid the X operator.
/// Whether the formula avoids the X operator.
bool is_X_free() const
{
return is.X_free;
}
/// Whether the formula avoid the F and G operators.
/// Whether the formula avoids the F and G operators.
bool is_sugar_free_ltl() const
{
return is.sugar_free_ltl;