From 7a86a8a8e71c25af8dfcdee621251560167447d5 Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Mon, 2 Jul 2007 14:01:49 +0200
Subject: [PATCH] make default constructor private to avoid potential problems

---
 src/core/default-value.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/core/default-value.h b/src/core/default-value.h
index 6f9f98508..08dbae285 100644
--- a/src/core/default-value.h
+++ b/src/core/default-value.h
@@ -45,6 +45,8 @@ public:
 protected:
   DefaultValueBase (const std::string &name, 
 		    const std::string &help);
+private:
+  DefaultValueBase ();
 private:
   virtual bool DoParseValue (const std::string &value) = 0;
   virtual std::string DoGetType (void) const = 0;