projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e1eac3) | patch
Replace deprecated calls to `std::allocator` (#6606)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 25 May 2021 13:51:56 +0000 (06:51 -0700)
committerGitHub <noreply@github.com>
Tue, 25 May 2021 13:51:56 +0000 (13:51 +0000)
commit943d24021e89230e4362eac2cb8754b3b0c34d2c
tree8a60d9db3d7b37f5436caf456719d4fbc340ef98tree
parent8e1eac35d265eacfbeb5f16be61e5d4caf45d1afcommit | diff
Replace deprecated calls to `std::allocator` (#6606)

Fixes #6453. This commit replaces all calls to std::allocator with calls to
std::allocator_traits. Strictly speaking, allocate() and deallocate() are
not deprecated but the commit replaces them for uniformity.
src/context/cdlist.h diff | blob | history