From d4a6d235062d6696d03e2081860f6e4d51f73227 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 18 Jul 2011 11:42:07 +0000
Subject: fix

---
 contrib/defaults.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib')

diff --git a/contrib/defaults.conf b/contrib/defaults.conf
index 63c7a3656..00780c4f7 100644
--- a/contrib/defaults.conf
+++ b/contrib/defaults.conf
@@ -239,7 +239,7 @@ DUMP_SOLUTION = NO
 DUMP_OVERWRITE = NO 
 DUMP_MIN_PEERS = 0
 DUMP_MIN_ADDRS = 0
-DUMP_OVERWRITE = 0
+DUMP_OVERWRITE = NO
 ATS_MIN_INTERVAL = 15000
 ATS_EXEC_INTERVAL = 30000
 
-- 
cgit v1.2.3