diff options
Diffstat (limited to 'src/base/map_util.h')
-rw-r--r-- | src/base/map_util.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/map_util.h b/src/base/map_util.h index 2af0113b5..f428a9943 100644 --- a/src/base/map_util.h +++ b/src/base/map_util.h @@ -16,8 +16,8 @@ ** new code. Supports: ** - std::map ** - std::unordered_map - ** - CVC4::context::CDHashmap - ** - CVC4::context::CDInsertHashmap + ** - CVC5::context::CDHashmap + ** - CVC5::context::CDInsertHashmap ** The ContainsKey function is also compatible with std::[unordered_]set. ** ** Currently implemented classes of functions: @@ -40,7 +40,7 @@ #include "base/check.h" -namespace CVC4 { +namespace CVC5 { // Returns true if the `map` contains the `key`. // @@ -92,6 +92,6 @@ const MapMappedTypeT<M>& FindOrDie(const M& map, const MapKeyTypeT<M>& key) return (*it).second; } -} // namespace CVC4 +} // namespace CVC5 #endif /* CVC4__BASE__MAP_UTIL_H */ |