diff options
Diffstat (limited to 'src/context/cdhashmap.h')
-rw-r--r-- | src/context/cdhashmap.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h index 165080bd1..a9f81d529 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 CVC5 { +namespace cvc5 { namespace context { // Auxiliary class: almost the same as CDO (see cdo.h) @@ -453,6 +453,6 @@ public: };/* class CDHashMap<> */ } // namespace context -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__CONTEXT__CDHASHMAP_H */ |