Removed a line in test_eval.ok