diff --git a/src/ltlvisit/tostring.hh b/src/ltlvisit/tostring.hh index 15654d530..6d6749db7 100644 --- a/src/ltlvisit/tostring.hh +++ b/src/ltlvisit/tostring.hh @@ -64,7 +64,7 @@ namespace spot /// \param ratexp Whether we are printing a SERE. std::ostream& 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 /// unless the formula contains automaton operators (used in ELTL formulae).