diff options
Diffstat (limited to 'src/expr/kind_map.h')
| -rw-r--r-- | src/expr/kind_map.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/kind_map.h b/src/expr/kind_map.h index d118b7077..e6f6f9ca0 100644 --- a/src/expr/kind_map.h +++ b/src/expr/kind_map.h @@ -25,7 +25,7 @@ #include "base/check.h" #include "expr/kind.h" -namespace CVC4 { +namespace CVC5 { /** A very simple bitmap for Kinds */ class KindMap @@ -51,6 +51,6 @@ class KindMap std::bitset<kind::LAST_KIND> d_bits; }; -} // namespace CVC4 +} // namespace CVC5 #endif /* CVC4__KIND_MAP_H */ |