Dan Hipschman : widl: Remove an unnecessary assignment in write_pointers.