tree 9f30313060571b42f5c25febfa0d1554964a49a3
parent dadeb5c4ba5a796c7767383938423ca594455adf
author Paul Wankadia <junyer@google.com> 1572357872 -0700
committer Paul Wankadia <junyer@google.com> 1572357984 +0000

Tweak some printed debugging for style.

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