Update evaluation.ml