Remove variable to avoid compilation warning in Search.oz