Correct type declaration in dt_search.h