tree 41e5a90cd39adc00aedbdf1c41d991bcf0cfbac5
parent d541d5abdb9dd8a8922228935f3000c265535518
author Paul Wankadia <junyer@google.com> 1625539936 -0700
committer Paul Wankadia <junyer@google.com> 1625540014 +0000

Fix a couple of style nits.

Change-Id: Ic8c4f805bb7ea98441a62c51cf636a239ee8d882
Reviewed-on: https://code-review.googlesource.com/c/re2/+/58890
Reviewed-by: Paul Wankadia <junyer@google.com>