Update eigb for the int_redefine location