diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-09-02 17:21:03 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-02 10:21:03 -0500 |
commit | 1e93736643667d7b8e4ff9fa5f86596ce1ec31d3 (patch) | |
tree | 2d8fee2723b4ead48289fc5b7b6b4617cd7b291e /THANKS | |
parent | 02e682821028bc704c57a762dadeb6f82bb70ebf (diff) |
Use std::unique_ptr instead of std::shared_ptr for inference manager (#5003)
We now use std::unique_ptr instead of std::shared_ptr when storing TheoryInference objects.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions