tree 0a1b8440ca1905928e3b1cb3af18c2cecf19e187
parent 85ede8314d309502a0c9cd3fabcc5767d8f1145e
author Paul Wankadia <junyer@google.com> 1589730436 -0700
committer Paul Wankadia <junyer@google.com> 1589730515 +0000

Argh. I overlooked the constructor and destructor.

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