From 77261479778f52a7f2a16831313f3142f61a861c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 8 Mar 2017 16:52:46 +0100 Subject: [PATCH] * spot/twaalgos/remfin.cc: Typos in comment. --- spot/twaalgos/remfin.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spot/twaalgos/remfin.cc b/spot/twaalgos/remfin.cc index d25c26205..5bf5d060d 100644 --- a/spot/twaalgos/remfin.cc +++ b/spot/twaalgos/remfin.cc @@ -86,8 +86,8 @@ namespace spot auto sccaut = mask_keep_accessible_states(aut, keep, states.front()); // Force SBA to false. It does not affect the emptiness // check result, however it prevent recurring into this - // procedure, because empty() will call to_tgba() which will - // call remove_fin()... + // procedure, because is_empty() will call + // to_generalized_buchi() which will call remove_fin()... sccaut->prop_state_acc(false); // If SCCAUT is empty, the SCC is BA-type (and none // of its states are final). If SCCAUT is nonempty, the SCC