diff options
Diffstat (limited to 'src/api/cpp/cvc5_checks.h')
| -rw-r--r-- | src/api/cpp/cvc5_checks.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/api/cpp/cvc5_checks.h b/src/api/cpp/cvc5_checks.h index d332652fd..c30237ecd 100644 --- a/src/api/cpp/cvc5_checks.h +++ b/src/api/cpp/cvc5_checks.h @@ -20,7 +20,7 @@ #ifndef CVC5__API__CHECKS_H #define CVC5__API__CHECKS_H -namespace cvc4 { +namespace cvc5 { namespace api { /* -------------------------------------------------------------------------- */ @@ -653,5 +653,5 @@ namespace api { } \ } while (0) } // namespace api -} // namespace cvc4 +} // namespace cvc5 #endif |