diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2022-10-18 12:16:41 +0000 |
|---|---|---|
| committer | Henning Baldersheim <balder@yahoo-inc.com> | 2022-10-18 12:16:41 +0000 |
| commit | b3bcbd3b8d85b962bfe9c5c89f9fa6ab82baafd5 (patch) | |
| tree | faeeb5887937d0dd46d4dc7fa8cfea49ae6f8bef /searchsummary | |
| parent | 132b1cf81cd016a8b4bff2e74c6cb1b9fba1b226 (diff) | |
Use std::make_shared for StateCheckers.
Diffstat (limited to 'searchsummary')
0 files changed, 0 insertions, 0 deletions