Delete cleval.h