diff options
Diffstat (limited to 'src/util/index.h')
-rw-r--r-- | src/util/index.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/index.h b/src/util/index.h index 1fa881eb6..6da0d8602 100644 --- a/src/util/index.h +++ b/src/util/index.h @@ -19,11 +19,11 @@ #ifndef CVC4__INDEX_H #define CVC4__INDEX_H -namespace CVC5 { +namespace cvc5 { /** Index is a standardized unsigned integer used for efficient indexing. */ using Index = uint32_t; -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__INDEX_H */ |