From 9df8be4503e876065c2fb4e5a249064ed51c5a08 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 9 Jul 2003 15:05:00 +0000 Subject: [PATCH] typo --- src/tgbaalgos/lbtt.hh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tgbaalgos/lbtt.hh b/src/tgbaalgos/lbtt.hh index 907825c5f..a8442b4cf 100644 --- a/src/tgbaalgos/lbtt.hh +++ b/src/tgbaalgos/lbtt.hh @@ -10,10 +10,10 @@ namespace spot /// /// Note that LBTT expects an automaton with transition /// labeled by propositional formulae, and generalized - /// Büchi accepting conditions on \emph states. This + /// Büchi accepting conditions on \b states. This /// is unlike our spot::tgba automata which put /// both generalized accepting conditions and propositional - /// formulae) on \emph transitions. + /// formulae) on \b transitions. /// /// This algorithm will therefore produce an automata where /// accepting conditions have been moved from each transition to