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();