Undoing a change to lasyf.h/lahef.h