TEncSearch: remove unnecessary pragma