diff options
Diffstat (limited to 'src/context/cdinsert_hashmap.h')
-rw-r--r-- | src/context/cdinsert_hashmap.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/context/cdinsert_hashmap.h b/src/context/cdinsert_hashmap.h index 56004463a..6bd15c645 100644 --- a/src/context/cdinsert_hashmap.h +++ b/src/context/cdinsert_hashmap.h @@ -45,7 +45,7 @@ #pragma once -namespace CVC4 { +namespace CVC5 { namespace context { @@ -406,5 +406,5 @@ class CDInsertHashMap<TNode, Data, HashFcn> : public ContextObj { "Cannot create a CDInsertHashMap with TNode keys"); }; -}/* CVC4::context namespace */ -}/* CVC4 namespace */ +} // namespace context +} // namespace CVC5 |