From a889dd7dfdc5f1e0143db703da58d6d2d6708bf6 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 24 Jun 2003 08:55:44 +0000 Subject: [PATCH] typo --- src/tgba/ltl2tgba.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tgba/ltl2tgba.cc b/src/tgba/ltl2tgba.cc index 2947efedd..be45e7ade 100644 --- a/src/tgba/ltl2tgba.cc +++ b/src/tgba/ltl2tgba.cc @@ -73,7 +73,7 @@ namespace spot fact_.add_relation(bdd_apply(now, x | next, bddop_biimp)); /* `x | next', doesn't actually encode the fact that x - should be fulfilled at eventually. We ensure + should be fulfilled eventually. We ensure this by creating a new generalized Büchi accepting set, Acc[x], and leave any transition going to NEXT without checking X out of this set. Such accepting conditions