Replace deprecated __gnu_cxx::hash_map with std::unordered_map

cvc5 / LFSC

LFSC Proof Checker

Other

11 stars 9 forks source link

Replace deprecated __gnu_cxx::hash_map with std::unordered_map #33

Open jamesjer opened 4 years ago

jamesjer commented 4 years ago

Additionally remove -Wno-deprecated, since hash_map is the only deprecated interface currently in use. Note that std::unordered_map is part of the C++11 standard, and CMakeLists.txt already requires a C++11 compiler.

4tXJ7f commented 4 years ago

Also, since you are an external contributor, it would be great if you could sign the commit as outlined here to indicate that the DCO applies to your contribution.