From f38f9df020f62750a0cd165c7cff9e8adfee5768 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 31 Aug 2012 14:09:33 +0200 Subject: [PATCH] * src/ltlvisit/tostring.hh: Cosmetics. --- src/ltlvisit/tostring.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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).