diff --git a/transition_machine/src/Config.cpp b/transition_machine/src/Config.cpp index 715c944dc444ce6060d0df3699c96b6c7a9c3fd2..ca4a2cbbaa3e824b4e20fd6c7c468181a0f8fe29 100644 --- a/transition_machine/src/Config.cpp +++ b/transition_machine/src/Config.cpp @@ -735,7 +735,7 @@ bool Config::Tape::headIsAtEnd() const if (head >= ref.getLastIndex()) return true; - return getHyp(1).empty(); + return !getHyp(0).empty() && getHyp(1).empty(); } int Config::Tape::size()