Delete haphazenum.h