Editing: eval.h

BATAL