diff --git a/alib2algo/src/tree/properties/QuickSearchBadCharacterShiftTable.h b/alib2algo/src/tree/properties/QuickSearchBadCharacterShiftTable.h index 4895407e54b224c9cfe4e3b4a29e64c020f2b25e..241be238a190cd4501833123eb91314e92501e8b 100644 --- a/alib2algo/src/tree/properties/QuickSearchBadCharacterShiftTable.h +++ b/alib2algo/src/tree/properties/QuickSearchBadCharacterShiftTable.h @@ -49,7 +49,7 @@ ext::map < common::ranked_symbol < SymbolType, RankType >, size_t > QuickSearchB if ( symbol == pattern.getSubtreeWildcard ( ) || pattern.getNonlinearVariables ( ).count ( symbol ) || symbol == pattern.getVariablesBar ( ) ) continue; - bcs.insert ( std::make_pair ( symbol, pattern.getContent ( ).size ( ) ) ); + bcs.insert ( std::make_pair ( symbol, pattern.getContent ( ).size ( ) + 1 ) ); } // find the distance between the end of the pattern and the index