From 21be883cf6dc8d2fb53e6e7831c955f44b0f8d4a Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 18 Oct 2015 11:56:58 +0200 Subject: [PATCH] * src/tl/simplify.hh: Fix comment. --- src/tl/simplify.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tl/simplify.hh b/src/tl/simplify.hh index 0afe39673..6680a945d 100644 --- a/src/tl/simplify.hh +++ b/src/tl/simplify.hh @@ -109,7 +109,7 @@ namespace spot /// Build the negative normal form of formula \a f. /// All negations of the formula are pushed in front of the /// atomic propositions. Operators <=>, =>, xor are all removed - /// (calling spot::unabbreviate_ltl is not needed). + /// (calling spot::unabbreviate for those is not needed). /// /// \param f The formula to normalize. /// \param negated If \c true, return the negative normal form of