diff options
Diffstat (limited to 'src/util/configuration.h')
-rw-r--r-- | src/util/configuration.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/util/configuration.h b/src/util/configuration.h index c6562b3e6..818652db0 100644 --- a/src/util/configuration.h +++ b/src/util/configuration.h @@ -29,7 +29,7 @@ namespace CVC4 { * Represents the (static) configuration of CVC4. */ class CVC4_PUBLIC Configuration { - +private: /** Private default ctor: Disallow construction of this class */ Configuration(); @@ -61,8 +61,8 @@ public: static bool isAssertionBuild(); - static bool isProofBuild(); - + static bool isProofBuild(); + static bool isCoverageBuild(); static bool isProfilingBuild(); |