Update enumerate.h