diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-10-17 12:05:22 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-10-23 23:35:51 +0300 |
| commit | fc83f06b17221bf5ef20e30d9da1ccff927beb17 (patch) | |
| tree | e6b93f0cafb278d42073fe7e1c97c3b955a2344d /lib/Core/PTree.cpp | |
| parent | 9edf8e8bba51f2d217ead0a9b2469b0b551ad255 (diff) | |
| download | klee-fc83f06b17221bf5ef20e30d9da1ccff927beb17.tar.gz | |
replace deprecated (as of c++20) std::is_pod with std::trivial && std::is_standard_layout
Diffstat (limited to 'lib/Core/PTree.cpp')
0 files changed, 0 insertions, 0 deletions