tree 572ed3bfccb4713ee8e650795f420574ed2c38f1
parent f71aaa0be84a7b401bc6494488880f3b17b5bca9
author Paul Wankadia <junyer@google.com> 1578218732 -0800
committer Paul Wankadia <junyer@google.com> 1578218786 +0000

Fix a comment.

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