diff options
Diffstat (limited to 'src/base/configuration.cpp')
| -rw-r--r-- | src/base/configuration.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp index 39284227a..1b8be7bf9 100644 --- a/src/base/configuration.cpp +++ b/src/base/configuration.cpp @@ -36,7 +36,7 @@ using namespace std; -namespace CVC4 { +namespace CVC5 { string Configuration::getName() { return CVC4_PACKAGE_NAME; @@ -375,7 +375,8 @@ std::string Configuration::getGitId() { stringstream ss; ss << "git " << branchName << " " << string(getGitCommit()).substr(0, 8) - << ( ::CVC4::Configuration::hasGitModifications() ? " (with modifications)" : "" ); + << (::CVC5::Configuration::hasGitModifications() ? " (with modifications)" + : ""); return ss.str(); } @@ -398,4 +399,4 @@ std::string Configuration::getCompiledDateTime() { return __DATE__ " " __TIME__; } -}/* CVC4 namespace */ +} // namespace CVC5 |