diff options
Diffstat (limited to 'src/context/cdinsert_hashmap.h')
-rw-r--r-- | src/context/cdinsert_hashmap.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/context/cdinsert_hashmap.h b/src/context/cdinsert_hashmap.h index 6bd15c645..903acdaf0 100644 --- a/src/context/cdinsert_hashmap.h +++ b/src/context/cdinsert_hashmap.h @@ -45,7 +45,7 @@ #pragma once -namespace CVC5 { +namespace cvc5 { namespace context { @@ -407,4 +407,4 @@ class CDInsertHashMap<TNode, Data, HashFcn> : public ContextObj { }; } // namespace context -} // namespace CVC5 +} // namespace cvc5 |