Fix a bug that affects 32-bit platforms.

Change-Id: If6751f35e018dfcf6caee2b59f6532753d914e7f
Reviewed-on: https://code-review.googlesource.com/c/re2/+/58831
Reviewed-by: Paul Wankadia <junyer@google.com>
1 file changed