tree b64d1ecd3488911b67051b7586de18d438b7c957
parent 9a3bd16a066b3d8a80b150493584b41863a03d23
author Paul Wankadia <junyer@google.com> 1589727741 -0700
committer Paul Wankadia <junyer@google.com> 1589728223 +0000

Use PODArray<> in a few more places.

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