diff options
Diffstat (limited to 'src/base/configuration.cpp')
-rw-r--r-- | src/base/configuration.cpp | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp index 35a899617..c9e650117 100644 --- a/src/base/configuration.cpp +++ b/src/base/configuration.cpp @@ -73,11 +73,7 @@ bool Configuration::isCompetitionBuild() { bool Configuration::isStaticBuild() { -#if defined(CVC5_STATIC_BUILD) - return true; -#else - return false; -#endif + return CVC5_STATIC_BUILD; } string Configuration::getPackageName() { return CVC5_PACKAGE_NAME; } |