From 4a160cb644bed091c4d8e0ec1b4ca184eb649e2e 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 87d8c90ef..69fc04486 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