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