Update eval.ml