From 7c946878e4ed45f079545987253d99c4f3dd1e4c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 11 Nov 2009 00:01:14 +0100 Subject: [PATCH] Typo from a previous patch. * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Fix a typo introduced three patches ago in the handling of unobserved events. --- ChangeLog | 7 +++++++ src/tgbaalgos/ltl2tgba_fm.cc | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index a154df645..95ff962bd 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2009-11-10 Alexandre Duret-Lutz + + Typo from a previous patch. + + * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Fix a typo + introduced three patches ago in the handling of unobserved events. + 2009-11-10 Alexandre Duret-Lutz Do not comment states in the never claim by default. It takes too diff --git a/src/tgbaalgos/ltl2tgba_fm.cc b/src/tgbaalgos/ltl2tgba_fm.cc index 1cbdc82a8..e794cf7ff 100644 --- a/src/tgbaalgos/ltl2tgba_fm.cc +++ b/src/tgbaalgos/ltl2tgba_fm.cc @@ -924,7 +924,7 @@ namespace spot // When translating LTL for an event-based logic with // unobservable events, the 1 state should accept all events, // even unobservable events. - if (unobs && f == constant::true_instance()) + if (unobs && now == constant::true_instance()) cond_for_true = all_events; else {