tree 526928b9a7139c9d1bf0b29b735fd9953dab87e2
parent ce85d836378a78413288d1af5fae5bfc7d866dab
author Tor Jeremiassen <torerik@google.com> 1774642692 -0500
committer Tor Jeremiassen <torerik@google.com> 1775132830 -0500

Minor change to keep gdb happy.

PiperOrigin-RevId: 890605540
Change-Id: I74e107be1c97c51e802accbe03517994eca12f3c