diff --git a/alib2algo/src/arbology/query/NonlinearCompressedBitParallelismPatterns.h b/alib2algo/src/arbology/query/NonlinearCompressedBitParallelismPatterns.h index 4854f7e7f80ee8d90b349367ed3fb066054d9f99..4993f30b89877147a115565cddb82aadccc80c8b 100644 --- a/alib2algo/src/arbology/query/NonlinearCompressedBitParallelismPatterns.h +++ b/alib2algo/src/arbology/query/NonlinearCompressedBitParallelismPatterns.h @@ -38,9 +38,6 @@ template < class SymbolType, class RankType > bool include ( unsigned i, const ext::vector < unsigned > & repeats, const ext::vector < int > & jumps, const tree::PrefixRankedBarNonlinearPattern < SymbolType, RankType > & pattern ) { ext::map < common::ranked_symbol < SymbolType, RankType >, unsigned > variablesSetting; - // clear the current state of variable to subtree repeat - variablesSetting.clear(); - // index to the pattern int j = pattern.getContent ( ).size ( ) - 1;