diff options
Diffstat (limited to 'src/context/cdhashmap.h')
| -rw-r--r-- | src/context/cdhashmap.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h index 4ab552001..165080bd1 100644 --- a/src/context/cdhashmap.h +++ b/src/context/cdhashmap.h @@ -91,7 +91,7 @@ #include "context/cdhashmap_forward.h" #include "context/context.h" -namespace CVC4 { +namespace CVC5 { namespace context { // Auxiliary class: almost the same as CDO (see cdo.h) @@ -452,7 +452,7 @@ public: };/* class CDHashMap<> */ -}/* CVC4::context namespace */ -}/* CVC4 namespace */ +} // namespace context +} // namespace CVC5 #endif /* CVC4__CONTEXT__CDHASHMAP_H */ |