diff --git a/transition_machine/src/ActionBank.cpp b/transition_machine/src/ActionBank.cpp index 0291f717f5818f4016323e94c17544ea8319358e..eed5cb653899fb2c970f6601840a1d71f13857b5 100644 --- a/transition_machine/src/ActionBank.cpp +++ b/transition_machine/src/ActionBank.cpp @@ -1147,7 +1147,10 @@ void ActionBank::removeCharFromBuffer(Config & config, const std::string & tapeN std::string suffix = std::string(config.rawInput.begin()+config.rawInputHeadIndex, config.rawInput.begin()+config.rawInputHeadIndex+util::getEndIndexOfNthSymbolFrom(config.rawInput.begin()+config.rawInputHeadIndex,config.rawInput.end(), 0)); for (char c : suffix) + { + (void)c; from.pop_back(); + } tape.setHyp(relativeIndex, from); }