Update eval.h