Update mini_l.y

added header