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

* src/ltlvisit/tostring.hh: Cosmetics.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-08-31 14:09:33 +02:00
parent a0e1a144ad
commit f38f9df020
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlvisit/tostring.hh
View file

@ -64,7 +64,7 @@ namespace spot
/// \param ratexp Whether we are printing a SERE. /// \param ratexp Whether we are printing a SERE.
std::ostream& std::ostream&
to_utf8_string(const formula* f, std::ostream& os, bool full_parent = false, to_utf8_string(const formula* f, std::ostream& os, bool full_parent = false,
bool ratexp = false); bool ratexp = false);
/// \brief Output a formula as an utf8 string which is parsable /// \brief Output a formula as an utf8 string which is parsable
/// unless the formula contains automaton operators (used in ELTL formulae). /// unless the formula contains automaton operators (used in ELTL formulae).