tree 23d6c2a403ceffa3218f8df35f1c14cc27f3a3c2
parent 7faea1d762fb772875ab6f6635d4bcbe35d27595
author Paul Wankadia <junyer@google.com> 1562234395 -0700
committer Paul Wankadia <junyer@google.com> 1562234449 +0000

Fix a typographical error.

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